5334 search results - page 195 / 1067 » Communicating quantum processes |
148
click to vote
SFM
2004
Springer
15 years 9 months ago
2004
Springer
We treat theory and application of timed process algebra. We focus on a variant that uses explicit termination and action prefixing. This variant has some advantages over other va...
139
Voted
CAV
2007
Springer
15 years 8 months ago
2007
Springer
We present a simple and effective approximated backward reachability algorithm for parameterized systems with existentially and universally quantified global conditions. The indivi...
101
click to vote
ECIS
2003
15 years 5 months ago
2003
It is difficult to design innovative information and communication technologies to meet needs that will emerge from future interactions between users, technologies and their situa...
130
click to vote
JLP
2007
15 years 4 months ago
2007
Service Oriented Computing is emerging as a reference model for a new class of distributed computing technologies such as Web Services and the Grid. We discuss three main aspects ...
127
click to vote
CIKM
2004
Springer
15 years 9 months ago
2004
Springer
Endeca’s approach to processing search queries in a distributed computing environment is predicated on concerns of correctness, scalability, and flexibility in deployment. Using...