2407 search results - page 400 / 482 » A Tool for Abstraction in Model Checking |
ICCS
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. This paper has two foci that are intended to be complementary. First, it describes Conzilla as an incarnation of a concept browser. More specifically, as a technical sol...
ICNC
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Membrane systems are gaining a prominent role in the modeling of biochemical processes and cellular dynamics. We associate specific reactivity values to the production r...
IPOM
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Network robustness is something all providers are striving for without being able to know all the aspects it encompasses. A key aspect of network robustness concerns its ...
103
click to vote
IWDW
2005
Springer
15 years 3 months ago
2005
Springer
Abstract. Many coded digital watermarking systems development requires first the selection of a (uncoded) modulation technique to be part of a coded architecture. Therefore, perfo...
ECOOPW
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. Coordination and Adaptation are two key issues when developing complex distributed systems. Coordination focuses on the interaction among computational entities. Adaptati...