149 search results - page 5 / 30 » An Automation of Mail Channels |
NCA
2008
IEEE
14 years 1 months ago
2008
IEEE
Wireless mesh networks are a promising backbonesolution for applications in industrial automation. However, high availability of the communication channel is not inherently guaran...
LPAR
2001
Springer
13 years 12 months ago
2001
Springer
When writing a constraint program, we have to decide what to make the decision variable, and how to represent the constraints on these variables. In many cases, there is considerab...
LICS
2008
IEEE
14 years 1 months ago
2008
IEEE
We show that reachability and termination for lossy channel systems is exactly at level Fωω in the Fast-Growing Hierarchy of recursive functions, the first level that dominates...
CSCW
2004
ACM
14 years 28 days ago
2004
ACM
Open-source software development projects are almost always collaborative and distributed. Despite the difficulties imposed by distance, these projects have managed to produce lar...
CCS
2000
ACM
13 years 12 months ago
2000
ACM
We consider compositional properties of reactive systems that are secure in a cryptographic sense. We follow the wellknown simulatability approach, i.e., the specification is an ...