1206 search results - page 206 / 242 » Concurrent Abstract Predicates |
113
click to vote
CODES
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper presents a novel approach for multiprocess synthesis supporting well-tailored module integration at system level. The goal is to extend the local scope of existing arch...
INFOCOM
2005
IEEE
15 years 6 months ago
2005
IEEE
Abstract—This paper presents an analytic framework to evaluate the performance of peer to peer (P2P) networks. Using the time to download or replicate an arbitrary file as the m...
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. There have been several timed extensions of ACP-style process algebras with successful termination. None of them, to our knowledge, are equationally conservative (ground-...
101
Voted
BIRTHDAY
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Van Glabbeek (1990) presented the linear time/branching time spectrum of behavioral equivalences for finitely branching, concrete, sequential processes. He studied these...
108
click to vote
CHARME
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. We propose a new saturation-based symbolic state-space generation algorithm for finite discrete-state systems. Based on the structure of the high-level model specificat...