5599 search results - page 72 / 1120 » Abstract State Services |
120
click to vote
TAICPART
2006
IEEE
15 years 7 months ago
2006
IEEE
The design of complex systems, e.g., telecom services, is nowadays usually based on the integration of components (COTS), loosely coupled in distributed architectures. When compon...
161
click to vote
ELPUB
2008
ACM
15 years 3 months ago
2008
ACM
This paper reports on an inquiry into the use of metadata, publishing formats, and markup in editormanaged open access journals. It builds on findings from a study of the document...
DAC
1996
ACM
15 years 5 months ago
1996
ACM
We reduce the state explosion problem in automatic verification of finite-state systems by automatically collapsing subgraphs of the aph into abstract states. The key idea of the ...
109
click to vote
FMCO
2003
Springer
15 years 6 months ago
2003
Springer
ract State Machine Language, AsmL, is a novel executable specification based on the theory of Abstract State Machines. AsmL is object-oriented, provides high-level mathematical d...
STACS
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. We prove that, for any arbitrary finite alphabet and for the uniform distribution over deterministic and accessible automata with n states, the average complexity of Moo...