1404 search results - page 29 / 281 » On the Behavior of Complex Object-Oriented Systems |
TII
2008
13 years 7 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...
CSREAESA
2004
13 years 9 months ago
2004
In this paper we present an algorithm for automatic extraction of system behavior from a structural Verilog specification. The algorithm generates a series-parallel poset expressi...
INFORMATICALT
2008
13 years 7 months ago
2008
In this paper the immune network system was presented by the sequence of species with new immunological components allowing more plausible to reflect the immune response processes....
AOSE
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
AIEDU
2006
13 years 7 months ago
2006
Tutoring systems are described as having two loops. The outer loop executes once for each task, where a task usually consists of solving a complex, multi-step problem. The inner lo...