1980 search results - page 95 / 396 » Compositional Model Checking of Real Time Systems |
136
click to vote
FUZZIEEE
2007
IEEE
15 years 8 months ago
2007
IEEE
— This paper presents the fuzzy video based emotion recognition system VISBER, that allows to analyze facial expressions in video sequences. In order to process images in real-ti...
132
click to vote
SCCC
1998
IEEE
15 years 5 months ago
1998
IEEE
CORBA is a middleware with open standardization that is receiving plenty of acceptance for facilitating the distributed objects programming. CORBA is being extended through the sp...
140
click to vote
ADAEUROPE
2004
Springer
15 years 7 months ago
2004
Springer
This paper presents a modification of GLADE —the current GNAT implementation of the Ada 95 Distributed Systems Annex (DSA)— to support the development of distributed applicatio...
105
click to vote
AIMSA
2004
Springer
15 years 7 months ago
2004
Springer
The ability to automatically compose web services, and to monitor their execution, is an essential step to substantially decrease time and costs in the development, integration, a...
114
click to vote
DAC
1998
ACM
16 years 2 months ago
1998
ACM
An embedded system the system continuously interacts with its environment under strict timing constraints, called the external constraints, and it is important to know how these e...