2500 search results - page 160 / 500 » Specifying Behavior in C |
143
click to vote
SEW
2003
IEEE
15 years 8 months ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
129
Voted
IEEEAMS
2002
IEEE
2002
IEEE
Understanding Consistency Maintenance in Service Discovery Architectures in Response to Message Loss
15 years 8 months ago
Current trends suggest future software systems will comprise collections of components that combine and recombine dynamically in reaction to changing conditions. Service-discovery...
124
Voted
ICC
2000
IEEE
15 years 8 months ago
2000
IEEE
−−−−This paper describes the field trial experience on the control and coordination of an interactive videoconferencing system. The system employs ATM and Internet networks...
138
Voted
ICRA
1999
IEEE
15 years 7 months ago
1999
IEEE
The goal of the Architecture for Agile Assembly AAA is to enable rapid deployment and recon guration of automated assembly systems through the use of cooperating, modular, robust,...
130
Voted
ACSD
1998
IEEE
15 years 7 months ago
1998
IEEE
The development of an interactive application is a complex task that has to consider data, behavior, intercommunication, architecture and distribution aspects of the modeled syste...