2111 search results - page 141 / 423 » How to Program Pervasive Systems |
158
click to vote
OTM
2007
Springer
16 years 14 days ago
2007
Springer
Frameworks that support the implementation and execution of service compositions are a fundamental component of middleware infrastructures that support the design of adaptive syste...
199
click to vote
VLDB
1993
ACM
15 years 10 months ago
1993
ACM
During the pastdecade,object-oriented technology has found its way into programming languages,userinterfaces, databases,operating systems,expert systems,etc. Products labeledasobj...
160
click to vote
BIRTHDAY
2004
Springer
15 years 10 months ago
2004
Springer
An object-oriented approach to program specification and verification was developed by Ole-Johan Dahl with the long-term Abel project. Essential here was the idea of reasoning abou...
150
click to vote
WSC
1998
15 years 7 months ago
1998
This paper presents a library of reusable model components for visual simulation of the Networked Computer Science Technical Report Library (NCSTRL) and illustrates how a visual s...
155
click to vote
LCTRTS
2010
Springer
16 years 1 months ago
2010
Springer
We describe the extension of a reactive programming language with a behavioral contract construct. It is dedicated to the programming of reactive control of applications in embedd...