272 search results - page 21 / 55 » Communicating sequential processes for distributed constrain... |
CONCUR
1997
Springer
15 years 3 months ago
1997
Springer
We prove that a bounded stack can be specified in process algebra with just the operators alternative and sequential composition and iteration. The bounded bag cannot be specified ...
JSSPP
2001
Springer
15 years 4 months ago
2001
Springer
Networks of Workstations (NOW) have become important and cost-effective parallel platforms for scientific computations. In practice, a NOW system is heterogeneous and non-dedicat...
107
click to vote
GLOBECOM
2007
IEEE
15 years 6 months ago
2007
IEEE
— The maximum lifetime routing problem in wireless sensor networks has received increasing attention in recent years. One way is to formulate it as a linear programming problem b...
AGILEDC
2007
IEEE
15 years 6 months ago
2007
IEEE
Agile processes rely on feedback and communication to work and they often work best with co-located teams for this reason. Sometimes agile makes sense because of project requireme...
COORDINATION
2009
Springer
16 years 7 days ago
2009
Springer
Process algebras are a set of mathematically rigourous languages with well defined semantics that permit modelling behaviour of concurrent and communicating systems. Verification o...