Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Contract Soundness for object-oriented languages
OOPSLA '01 Proceedings of the 16th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
A Theory of Objects
Hood: a neighborhood abstraction for sensor networks
Proceedings of the 2nd international conference on Mobile systems, applications, and services
Virgil: objects on the head of a pin
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
A formal framework for component deployment
Proceedings of the 21st annual ACM SIGPLAN conference on Object-oriented programming systems, languages, and applications
The regiment macroprogramming system
Proceedings of the 6th international conference on Information processing in sensor networks
Eon: a language and runtime system for perpetual systems
Proceedings of the 5th international conference on Embedded networked sensor systems
Tiny web services: design and implementation of interoperable and evolvable sensor networks
Proceedings of the 6th ACM conference on Embedded network sensor systems
Scala Actors: Unifying thread-based and event-based programming
Theoretical Computer Science
Task types for pervasive atomicity
Proceedings of the ACM international conference on Object oriented programming systems languages and applications
Energy harvesting active networked tags (EnHANTs) for ubiquitous object networking
IEEE Wireless Communications
Towards application development for the internet of things
Proceedings of the 8th Middleware Doctoral Symposium
Hi-index | 0.00 |
Cyber-physical systems are a coordinated combination of computational and physical elements. This position paper calls for the design of a unified object model that blends the boundary of the two. The unified object model has the benefits of bringing classic software engineering technologies and tools - such as UML - to the new application domain of cyber-physical systems, and further equipping programs written for these systems with the traditional strengths of object-oriented languages, such as encapsulation, code reuse and customization, and strong guarantees for avoiding runtime errors.