11168 search results - page 260 / 2234 » Abstract State Processes |
224
click to vote
BIRTHDAY
2009
Springer
15 years 4 months ago
2009
Springer
Abstract. Software engineering uses UML diagrams as a standard technique for specification and development of software. Various UML diagrams are used for specification of different...
149
click to vote
CHARME
2005
Springer
16 years 11 days ago
2005
Springer
Abstraction is the key for effectively dealing with the state explosion in model-checking. Unfortunately, finding abstractions which are small and yet enable us to get conclusive ...
224
click to vote
DAGSTUHL
2007
15 years 8 months ago
2007
Abstract. In this paper, we consider the problem of filtering in relational hidden Markov models. We present a compact representation for such models and an associated logical par...
189
click to vote
ASM
2003
ASM
16 years 1 days ago
2003
ASM
Abstract. We compare three specification frameworks for the operationtics of programming languages, abstract state machines (ASMs) and the two incarnations of natural semantics, b...
220
click to vote
HICSS
2012
IEEE
14 years 2 months ago
2012
IEEE
—Real-time access to key performance indicators is necessary to ensure timeliness and effectiveness of operational business processes. The concept of Business Activity Monitoring...