Ownership types for flexible alias protection
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A lambda calculus of objects with self-inflicted extension
Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Objects and classes in Algol-like languages
Information and Computation - FOOL V
Experiences with error handling in critical systems
Advances in exception handling techniques
Class-Based versus Object-Based: A Denotational Comparison
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
A Core Calculus of Classes and Mixins
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
Type Structure for Low-Level Programming Languages
ICAL '99 Proceedings of the 26th International Colloquium on Automata, Languages and Programming
Inheritance in Higher Order Logic: Modeling and Reasoning
TPHOLs '00 Proceedings of the 13th International Conference on Theorem Proving in Higher Order Logics
Experiences with Error Handling in Critical Systems
Advances in Exception Handling Techniques (the book grow out of a ECOOP 2000 workshop)
The Split-Proxy Approach: A New Architecture for Parallel Video Servers
ParNum '99 Proceedings of the 4th International ACPC Conference Including Special Tracks on Parallel Numerics and Parallel Computing in Image Processing, Video Processing, and Multimedia: Parallel Computation
Deploying Advanced IP Services on a Community Network
INTERWORKING '00 Proceedings of the 5th IFIP TC6 International Symposium on Next Generation Networks, Networks and Services for the Information Society
Interpretations of Extensible Objects and Types
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
An Interpretation of Extensible Objects
FCT '99 Proceedings of the 12th International Symposium on Fundamentals of Computation Theory
A sound (and complete) model of contracts
Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
A bisimulation for type abstraction and recursion
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Connecting effects and uniqueness with adoption
Proceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A form-based meta-model for software composition
Science of Computer Programming - Special issue on new software composition concepts
Subtyping, recursion, and parametric polymorphism in kernel fun
Information and Computation
Sound and complete models of contracts
Journal of Functional Programming
Typed parametric polymorphism for aspects
Science of Computer Programming - Special issue: Foundations of aspect-oriented programming
Efficient MPEG-2 to H.264/AVC transcoding of intra-coded video
EURASIP Journal on Applied Signal Processing
Proposing a new architecture for mobile information and consultation support systems
TELE-INFO'05 Proceedings of the 4th WSEAS International Conference on Telecommunications and Informatics
Gesture Recognition with Hidden Markov Models to Enable Multi-modal Haptic Feedback
EuroHaptics '08 Proceedings of the 6th international conference on Haptics: Perception, Devices and Scenarios
Homography-Based Tracking Control for Mobile Robots
ICIAR '08 Proceedings of the 5th international conference on Image Analysis and Recognition
Subtyping recursion and parametric polymorphism in kernel fun
Information and Computation
Characterizing convergent terms in object calculi via intersection types
TLCA'01 Proceedings of the 5th international conference on Typed lambda calculi and applications
Task-based prediction of interaction patterns for ambient intelligence environments
HCI'07 Proceedings of the 12th international conference on Human-computer interaction: interaction design and usability
A novel neural network based reinforcement learning
LSMS'07 Proceedings of the Life system modeling and simulation 2007 international conference on Bio-Inspired computational intelligence and applications
Immune clonal strategy based on the adaptive mean mutation
LSMS'07 Proceedings of the Life system modeling and simulation 2007 international conference on Bio-Inspired computational intelligence and applications
Work environment and health effects of operators at light-on-test process in TFT-LCD plants
EHAWC'07 Proceedings of the 2007 international conference on Ergonomics and health aspects of work with computers
ICCSA'07 Proceedings of the 2007 international conference on Computational science and its applications - Volume Part I
Mobile phone number management system using an x-internet approach
ICIC'06 Proceedings of the 2006 international conference on Intelligent Computing - Volume Part I
Seamless service adaptation in context-aware middleware for u-healthcare
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part II
SpatiuMedia: interacting with locations
INTETAIN'05 Proceedings of the First international conference on Intelligent Technologies for Interactive Entertainment
A variable neighbourhood search algorithm for job shop scheduling problems
EvoCOP'06 Proceedings of the 6th European conference on Evolutionary Computation in Combinatorial Optimization
The power of interoperability: why objects are inevitable
Proceedings of the 2013 ACM international symposium on New ideas, new paradigms, and reflections on programming & software
Hi-index | 0.00 |