2173 search results - page 111 / 435 » An operational semantics for skeletons |
FLAIRS
2006
13 years 10 months ago
2006
The inherent vagueness and ambiguity of non-monotonic reasoning makes it impossible to formulate detailed specifications to validate KBS performance by using traditional test-case...
SYRCODIS
2007
13 years 10 months ago
2007
The information is at the present time often saved and available in electronic form. With still increasing quantity of accessible, most frequently text information, the need of or...
ENTCS
2008
13 years 9 months ago
2008
This paper explores a unification of the ideas of Concurrent Separation Logic with those of Communicating Sequential Processes. It extends separation logic by an operator for sepa...
ENTCS
2008
13 years 9 months ago
2008
abstraction and quantum computation Alessandra Di Pierro1 Dipartimento di Informatica University of Pisa Pisa, Italy Herbert Wiklicky2 Department of Computing Imperial College Lond...
ENTCS
2006
13 years 9 months ago
2006
Web Services are software services that can be advertised by providers and invoked by customers using Web technologies. This concept is currently carried further to address the co...