2678 search results - page 69 / 536 » Operational Semantics of Transactions |
132
click to vote
ICFP
1999
ACM
15 years 8 months ago
1999
ACM
Languages such as Java, ML, Scheme, and Haskell provide automatic storage management, that is, garbage collection. The two fundamental operations performed on a garbagecollected h...
152
click to vote
IPM
2006
15 years 4 months ago
2006
The Web and especially major Web search engines are essential tools in the quest to locate online information for many people. This paper reports results from research that examin...
153
click to vote
ICWE
2005
Springer
15 years 9 months ago
2005
Springer
Web Engineering is going through several major changes. New promising application fields related to the Web such as the Semantic Web and Web Services, and its combination, Semantic...
129
Voted
FOSSACS
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. We introduce a denotational semantics for non-linear hybrid automata, and relate it to the operational semantics given in terms of hybrid trajectories. The semantics is d...
130
Voted
FMCAD
2007
Springer
15 years 8 months ago
2007
Springer
Modeling hardware through atomic guard/action transitions with interleaving semantics is popular, owing to the conceptual clarity of modeling and verifying the high level behavior ...