1188 search results - page 17 / 238 » Testing Semantics: Connecting Processes and Process Logics |
FOSSACS
2006
Springer
15 years 1 months ago
2006
Springer
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...
ESWS
2008
Springer
14 years 11 months ago
2008
Springer
A lot of work has been done in the area of data stream processing. Most of the previous approaches regard only relational or XML based streams but do not cover semantically richer ...
ICWE
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. In the Internet of Things several objects with network capabilities are connected over a self-configured local network with other objects to interact and share knowledge...
SIGSAND
2008
14 years 11 months ago
2008
Abstract: Quality issues and their connection with structural aspects of process models have been recently studied, but there is still a notable lack of research into quality aspec...
103
click to vote
ICLP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. In this doctoral work we aim at developing a new approach to labelled semantics and equivalences for the Concurrent Constraint Programming (CCP) which will enable a broad...