1980 search results - page 120 / 396 » Compositional Model Checking of Real Time Systems |
191
Voted
ARTS
1999
Springer
15 years 6 months ago
1999
Springer
Model checking can tell us whether a system is correct; probabilistic model checking can also tell us whether a system is timely and reliable. Moreover, probabilistic model checkin...
198
click to vote
PAMI
2010
14 years 8 months ago
2010
Abstract--The capacity for realtime synchronization and coordination is a common ability among trained musicians performing a music score that presents an interesting challenge for...
114
click to vote
ICPR
2004
IEEE
16 years 2 months ago
2004
IEEE
This paper presents a novel research investigation on legal amount recognition of unconstrained cursive handwritten Chinese character in the environment of A2iA CheckReaderTM ? a ...
107
Voted
ICSOC
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. In Service Oriented Architectures (SOAs) services invoked in a composition can be replaced by other services, which are possibly discovered and bound at runtime. Most of ...
APSEC
2008
IEEE
15 years 8 months ago
2008
IEEE
Design and development scalability, in any engineering, requires information hiding and a specific composition mechanism in which composite items are made-up of other items. This ...