660 search results - page 31 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
112
Voted
SFM
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
124
click to vote
FDL
2006
IEEE
15 years 8 months ago
2006
IEEE
Transaction Level Models are widely being used as high-level reference models during embedded systems development. High simulation speed and great modeling flexibility are the ma...
122
click to vote
CONCUR
2000
Springer
15 years 6 months ago
2000
Springer
Concurrency is an essential element of abstract models for embedded systems. Correctness and e ciency of the design depend critically on the way concurrency is formalized and imple...
152
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: In rule-based modeling, graphs are used to represent molecules: a colored vertex represents a component of a molecule, a vertex attribute represents the internal state...
161
Voted
JCSS
2011
14 years 9 months ago
2011
It is widely recognised that software development is a complex process. Among the factors that contribute to its inherent complexity is the gap between the design and the formal a...