297 search results - page 25 / 60 » Validation of an agent based system using Petri Nets |
87
Voted
VVEIS
2007
15 years 14 hour ago
2007
Being the de-facto standard (object-oriented-OO) method(-logy) for software-intensive systems development, UML with its different diagrams and supporting tools represent nowadays t...
109
Voted
ISMIS
2000
Springer
15 years 2 months ago
2000
Springer
This paper introduces the design of rough neurons based on rough sets. Rough neurons instantiate approximate reasoning in assessing knowledge gleaned from input data. Each neuron c...
101
Voted
ECMDAFA
2009
Springer
14 years 8 months ago
2009
Springer
Technological and business changes influence the evolution of software systems. When this happens, the software artifacts may need to be adapted to the changes. This need is rapidl...
91
Voted
IFIP
2010
Springer
14 years 5 months ago
2010
Springer
This manuscript addresses the creation of scenario-based models to reason about the behavior of existing industrial information systems. In our approach the system behavior is mode...
87
Voted
FORTE
2004
15 years 7 days ago
2004
The main goal of this paper is to extend sPBC with the iteration operator, providing an operational semantics for the language, as well as a denotational semantics, which is based ...