146 search results - page 24 / 30 » Modeling System Safety Requirements Using Input Output Const... |
ACMICEC
2006
ACM
13 years 11 months ago
2006
ACM
Consider an open infrastructure in which anyone can deploy mechanisms to support automated decision making and coordination amongst self-interested computational agents. Strategyp...
FROCOS
2005
Springer
14 years 1 months ago
2005
Springer
Interface formalisms are able to model both the input requirements and the output behavior of system components; they support both bottom-up component-based design, and top-down de...
BXML
2004
13 years 9 months ago
2004
: ExtraPlanT system is a multi-agent production planning system designed for small factories, which needs to react quickly on market changes. To deal with this requirement, ExtraPl...
KDD
2003
ACM
14 years 8 months ago
2003
ACM
In today's industry, the design of software tests is mostly based on the testers' expertise, while test automation tools are limited to execution of pre-planned tests on...
CORR
2010
Springer
13 years 8 months ago
2010
Springer
tigate the role of nondeterminism in Winfree's abstract Tile Assembly Model (aTAM), which was conceived to model artificial molecular self-assembling systems constructed from...