1202 search results - page 37 / 241 » Sortings for Reactive Systems |
136
click to vote
COOPIS
1997
IEEE
15 years 6 months ago
1997
IEEE
Coordination and collaboration are naturally used by groups for carrying out activities and solving problems that require cooperation. However, getting a set of computer agents to...
123
click to vote
IJIT
2004
15 years 3 months ago
2004
Recent advances in both the testing and verification of software based on formal specifications of the system to be built have reached a point where the ideas can be applied in a p...
261
click to vote
Lab
We are interested in studying and developing programming languages techniques such as multi-stage programming, reactive programming, and indexed types and in showing how they can b...
102
click to vote
EDBT
2010
ACM
15 years 8 months ago
2010
ACM
: © Self-selecting, self-tuning, incrementally optimized indexes Goetz Graefe, Harumi Kuno HP Laboratories HPL-2010-24 database index, adaptive, autonomic, query execution In a re...
ICFEM
2003
Springer
15 years 7 months ago
2003
Springer
Using service-based system descriptions simplifies the specification of complex reactive systems as found in the domain of web-services as well as embedded systems. To support a se...