Sciweavers

1245 search results - page 91 / 249
» Towards a systematic approach for designing autonomic system...
Sort
View
JUCS
2000
102views more  JUCS 2000»
15 years 6 months ago
Towards Two-Level Formal Modeling of Computer-Based Systems
: Embedded Computer-based Systems are becoming highly complex and hard to implement because of the large number of concerns the designers have to address. These systems are tightly...
Gabor Karsai, Greg Nordstrom, Ákos Lé...
COMPSAC
1998
IEEE
15 years 10 months ago
A Fresh Look at Programming-in-the-Large
Realizing a shift of software engineering towards a component-based approach to software development requires the development of higher level programming systems supporting the de...
Walter Cazzola, Andrea Savigni, Andrea Sosio, Fran...
AI
1999
Springer
15 years 6 months ago
Cooperation without Deliberation: A Minimal Behavior-based Approach to Multi-Robot Teams
While terminology and some concepts of behavior-based robotics have become widespread, the central ideas are often lost as researchers try to scale behavior to higher levels of co...
Barry Brian Werger
STORYTELLING
2005
Springer
15 years 11 months ago
Formal Encoding of Drama Ontology
The goal of this research is to lay the foundations for a formal theory , that abstracts from the procedural and interactive aspects involved in the generation of dramatic content....
Rossana Damiano, Vincenzo Lombardo, Antonio Pizzo
WSC
2001
15 years 7 months ago
Agent-based simulation and greenhouse gas emissions trading
The need for new theoretical and experimental approaches to understand dynamic and heterogeneous behavior in complex economic and social systems is increasing recently. An approac...
Hideyuki Mizuta, Yoshiki Yamagata