660 search results - page 26 / 132 » Formalizing the Development of Agent-Based Systems Using Gra... |
143
click to vote
FM
2009
Springer
15 years 5 days ago
2009
Springer
Abstract. Explicit state methods have proven useful in verifying safetycritical systems containing concurrent processes that run asynchronously and communicate. Such methods consis...
158
Voted
TII
2008
15 years 2 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
DAC
1994
ACM
15 years 6 months ago
1994
ACM
In this paper, we present a design methodology management system, which assists designers in selecting a suitable design process and invoking the selected sequence of tools on the...
135
Voted
CERA
2002
15 years 2 months ago
2002
: Many industries are shifting from mass production to mass customization, which demands quick response to the needs of individual customers with high quality and low costs. The de...
130
Voted
ICAC
2005
IEEE
15 years 8 months ago
2005
IEEE
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed enterprise applications. This paper provides two contributions to the...