1206 search results - page 65 / 242 » Concurrent Abstract Predicates |
142
click to vote
ICFEM
2000
Springer
15 years 8 months ago
2000
Springer
Retrenchment is presented in a simple relational framework as a more flexible development concept than refinement for capturing the early preformal stages of development, and brie...
138
click to vote
ACIIDS
2010
IEEE
15 years 7 months ago
2010
IEEE
Abstract. A genetic algorithm is used to learn a non-deterministic Petri netbased model of non-linear gene interactions, or statistical epistasis. Petri nets are computational mode...
120
click to vote
FOSSACS
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Coalgebras are categorical presentations of state-based systems. In investigating parallel composition of coalgebras (realizing concurrency), we observe that the same alg...
129
click to vote
ICWE
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. The web accelerated the way people collaborate globally distributed. With Google Wave, a rich and extensible real-time collaboration platform is becoming available to a l...
100
Voted
IPPS
2010
IEEE
15 years 2 months ago
2010
IEEE
Abstract--Multicore shared-memory architectures are becoming prevalent but bring many programming challenges. Among the biggest is non-determinism: the output of the program does n...