1663 search results - page 206 / 333 » Software Reuse and Safety |
TACAS
2004
Springer
14 years 2 months ago
2004
Springer
Abstract. Model checking suffers not only from the state-space explosion problem, but also from the environment modeling problem: how can one create an accurate enough model of the...
NOMS
2002
IEEE
14 years 1 months ago
2002
IEEE
Mobile agents can migrate among nodes to perform a set of management tasks at each of the visited nodes. Existing mobile agent-based network management systems often assume that t...
FM
1991
Springer
14 years 16 days ago
1991
Springer
An important goal of software engineering is to exploit commonalities in system design in order to reduce the complexity of building new systems, support largescale reuse, and pro...
WSC
2007
13 years 11 months ago
2007
The composition and reuse of simulation model is currently a hot research topic in the area of complex system modeling and simulation. A unified simulation model representation is...
DALT
2008
Springer
13 years 10 months ago
2008
Springer
Abstract. In order to facilitate the development of agent-based software, several agent programming languages and architectures, have been created. Plans in these architectures are...