655 search results - page 93 / 131 » Coinduction in Concurrent Timed Systems |
ICST
2008
IEEE
15 years 6 months ago
2008
IEEE
It is becoming increasingly important to be able to adapt an application’s behavior at run time in response to changing requirements and environmental conditions. Adaptive progr...
HICSS
2005
IEEE
15 years 5 months ago
2005
IEEE
Web services offer a number of valuable features towards supporting the development of open distributed systems, built out of the composition of autonomous services. Nonetheless, ...
HAPTICS
2003
IEEE
15 years 5 months ago
2003
IEEE
Machine-mediated training of dynamic task completion is typically implemented with passive intervention via virtual fixtures or active assist by means of record and replay strateg...
110
click to vote
POPL
1998
ACM
15 years 4 months ago
1998
ACM
Previously, we developed a type system to ensure secure information flow in a sequential, imperative programming language [VSI96]. Program variables are classified as either hig...
112
click to vote
WSC
1997
15 years 1 months ago
1997
The AutoModTM simulation system differs significantly from other systems because of its ability to deal with the physical elements of a system in physical (graphical) terms and th...