958 search results - page 192 / 192 » Using the UML for Architectural Description |
BMCBI
2008
13 years 5 months ago
2008
Background: New systems biology studies require researchers to understand how interplay among myriads of biomolecular entities is orchestrated in order to achieve high-level cellu...
TRIDENTCOM
2010
IEEE
13 years 3 months ago
2010
IEEE
The Internet enables the way how global businesses and communities communicate today. In the last years, however, new demands have collided with old designs, resulting in a complex...
CAV
2010
Springer
13 years 9 months ago
2010
Springer
Graded-CTL is an extension of CTL with graded quantifiers which allow to reason about either at least or all but any number of possible futures. In this paper we show an extension...