1581 search results - page 145 / 317 » Domain semantics of possibility computations |
150
click to vote
COLING
2010
15 years 15 days ago
2010
We present in this paper a formal approach for the representation of multimodal information. This approach, thanks to the to use of typed feature structures and hypergraphs, gener...
156
click to vote
ICALP
2009
Springer
16 years 5 months ago
2009
Springer
A variant of Rate Transition Systems (RTS), proposed by Klin and Sassone, is introduced and used as the basic model for defining stochastic behaviour of processes. The transition r...
161
click to vote
ISORC
2006
IEEE
15 years 11 months ago
2006
IEEE
Open multithreaded transactions constitute building blocks that allow a developer to design and structure the execution of complex distributed systems featuring cooperative and co...
161
click to vote
ENTCS
2010
15 years 5 months ago
2010
This paper describes the semantics of a timed, resource-constrained extension of the Creol modeling language. Creol is an object-oriented modeling language with a design that is s...
159
click to vote
LOGCOM
2007
15 years 5 months ago
2007
Various forms of rely/guarantee conditions have been used to record and reason about interference in ways that provide compositional development methods for concurrent programs. Th...