2496 search results - page 196 / 500 » Error-detecting properties of languages |
130
click to vote
CAI
2009
Springer
15 years 2 months ago
2009
Springer
This paper studies conditions under which the operation of parallel insertion can be reversed by parallel deletion, i.e., when does the equality (L1 L2) L2 = L1 hold for language...
137
click to vote
VMCAI
2010
Springer
16 years 1 months ago
2010
Springer
While temporal verification of programs is a topic with a long history, its traditional basis--semantics based on word languages--is illsuited for modular reasoning about procedura...
109
click to vote
SSS
2009
Springer
15 years 11 months ago
2009
Springer
This paper studies the development of autonomic and secure Virtual Organisations (VOs) when following the chemical-programming paradigm. We have selected the Higher-Order Chemical ...
141
click to vote
ACISICIS
2008
IEEE
15 years 11 months ago
2008
IEEE
Wireless sensor networks (WSNs) provide various environment data in the real-world, and also WSNs´s middleware is able to offer field data in real-time by user queries. For mate...
181
click to vote
BIRTHDAY
2004
Springer
15 years 10 months ago
2004
Springer
CSP was originally introduced as a parallel programming language in which sequential imperative processes execute concurrently and communicate by synchronized input and output. The...