2136 search results - page 254 / 428 » A Game-Theoretic Operational Semantics |
138
click to vote
PPDP
2001
Springer
15 years 11 months ago
2001
Springer
Cyclic data structures can be tricky to create and manipulate in declarative programming languages. In a declarative setting, a natural way to view cyclic structures is as denotin...
147
click to vote
HOTOS
1999
IEEE
15 years 10 months ago
1999
IEEE
Abstract--End-to-end connectivity is growing increasingly diverse, with orders of magnitude differences in characteristics throughout the network. At the same time, most applicatio...
183
click to vote
WOWMOM
1998
ACM
15 years 10 months ago
1998
ACM
This paper presents a framework for provisioning application and channel dependent quality of service in wireless networks. The framework is based on three di erent adaptation mec...
232
click to vote
AGTIVE
2007
Springer
15 years 10 months ago
2007
Springer
Meta-modeling is well known to define the basic concepts of domain-specific languages in an object-oriented way. Based on graph transformation, an abstract meta-model may be enhanc...
189
click to vote
FM
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Linearizability is an important correctness criterion for implementations of concurrent objects. Automatic checking of linearizability is challenging because it requires ...