2678 search results - page 172 / 536 » Operational Semantics of Transactions |
222
click to vote
IFIP
2010
Springer
15 years 27 days ago
2010
Springer
Modern embedded systems are often heterogeneous in that their design requires several description paradigms, based on different models of computation and concurrency (MoCCs). In th...
161
click to vote
TAPSOFT
1991
Springer
15 years 9 months ago
1991
Springer
An operational and a denotational semantic model are presented for a real-time programming language incorporating the concept of integration. This concept of integration, which ha...
209
click to vote
ATVA
2011
Springer
14 years 6 months ago
2011
Springer
Abstract. In the traditional Boolean setting of formal verification, alternating automata are the key to many algorithms and tools. In this setting, the correspondence between dis...
145
click to vote
DATE
2007
IEEE
16 years 12 days ago
2007
IEEE
The ability to guarantee the functional correctness of digital integrated circuits and, in particular, complex microprocessors, is a key task in the production of secure and trust...
189
click to vote
COMPSAC
2005
IEEE
15 years 11 months ago
2005
IEEE
Distributed processing environments such as that of a traffic management network system (TMS) can be implemented easier, faster, and secure and perform better through use of auton...