499 search results - page 66 / 100 » Raising Programming Abstraction from Objects to Services |
128
click to vote
ATAL
2010
Springer
15 years 5 months ago
2010
Springer
We present a new approach for finding generalized contingent plans with loops and branches in situations where there is uncertainty in state properties and object quantities, but ...
126
click to vote
ISOLA
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
118
click to vote
FM
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Systematic engineering design processes have many aspects in common with software engineering, with CAD/CAM objects replacing program code as the implementation stage of ...
127
click to vote
LCTRTS
2010
Springer
15 years 11 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...
150
click to vote
IPPS
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper describes a United States Air Force Advanced Technology Demonstration (ATD) that applied value-based scheduling to produce an adaptive, distributed tracking component ap...