1415 search results - page 129 / 283 » Verified systems by composition from verified components |
172
click to vote
MLMI
2005
Springer
15 years 12 months ago
2005
Springer
Combining multiple information sources, typically from several data streams is a very promising approach, both in experiments and to some extents in various real-life applications....
189
click to vote
WWW
2009
ACM
16 years 7 months ago
2009
ACM
The run-time binding of web services has been recently put forward in order to support rapid and dynamic web service compositions. With the growing number of alternative web servi...
195
click to vote
DATE
1999
IEEE
15 years 10 months ago
1999
IEEE
This paper describes a simulation technique for RealTime Hw/Sw systems based on an object executable model. It allows designers to seamlessly estimate and verify their solutions f...
181
click to vote
CASES
2001
ACM
15 years 10 months ago
2001
ACM
In this paper we describe a vision for the future evolution of Embedded SW (ESW) design methodologies as part of overall Embedded Systems (ES) development. Fundamentally, we belie...
171
click to vote
AOSD
2009
ACM
15 years 8 months ago
2009
ACM
Cyber-physical systems increasingly rely on dynamically adaptive programs to respond to changes in their physical environment; examples include ecosystem monitoring and disaster r...