3387 search results - page 370 / 678 » Model-Checking for Real-Time Systems |
154
Voted
RTCSA
2008
IEEE
16 years 1 months ago
2008
IEEE
271
click to vote
CSAC
2006
15 years 8 months ago
2006
Abstract. Web services constitute a dynamic field of research about technologies of the Internet. WS-BPEL 2.0, is in the way for becoming a standard for defining Web services orche...
189
Voted
WSC
2000
15 years 8 months ago
2000
The proposed implementation is a monitor system able to train operators for on-line real time manufacturing control in order to analyze the performance of a production process. Th...
186
click to vote
SAS
2001
Springer
15 years 12 months ago
2001
Springer
Model checking would answer all finite-state verification problems, if it were not for the notorious state-space explosion problem. A problem of practical importance, which attra...