656 search results - page 65 / 132 » A Formalization of Transition P Systems |
124
click to vote
SPLC
2008
15 years 1 months ago
2008
This paper builds on product line CCS (PL-CCS), an algebraic approach to modeling the behavior of software product lines. The semantics of PL-CCS specifications is given in terms ...
90
Voted
FM
1999
Springer
15 years 4 months ago
1999
Springer
Timed Communicating Object Z (TCOZ) combines Object-Z's strengths in modeling complex data and algorithms with Timed CSP's strengths in modeling real-time concurrency. TC...
108
click to vote
COORDINATION
2008
Springer
15 years 2 months ago
2008
Springer
We present the -calculus, a process calculus for formally modeling and reasoning about Mobile Ad Hoc Wireless Networks (MANETs) and their protocols. The -calculus naturally capture...
103
click to vote
IPSN
2004
Springer
15 years 5 months ago
2004
Springer
This paper presents an approach for dynamic software reconfiguration in sensor networks. Our approach utilizes explicit models of the design space of the embedded application. The...
120
Voted
SAS
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. Linear-relations analysis of transition systems discovers linear invariant relationships among the variables of the system. These relationships help establish important s...