346 search results - page 21 / 70 » Developing Morphological Building Blocks: From Design to Imp... |
AGENTS
1997
Springer
13 years 11 months ago
1997
Springer
To facilitate the rapid development and open system interoperability of autonomous agents we need to carefully specify and effectively implement various classes of agent behaviors...
PDPTA
2000
13 years 8 months ago
2000
Abstract Design patterns are micro architectures, high-level building blocks which describe the solutions to speci c problems in software design. These solutions have generally bee...
CAV
2005
Springer
14 years 1 months ago
2005
Springer
Model checking has proven to be an effective technology for verification and debugging in hardware and more recently in software domains. We believe that recent trends in both th...
ACMSE
2004
ACM
14 years 28 days ago
2004
ACM
Component-based software development has become an important approach to building complex software systems. Much research focuses on component specification to achieve the advanta...
CPAIOR
2004
Springer
13 years 11 months ago
2004
Springer
Abstract. Over the past years, a number of increasingly expressive languages for modelling constraint and optimisation problems have evolved. In developing a strategy to ease the c...