Sciweavers

3771 search results - page 335 / 755
» Subobject Transformation Systems
Sort
View
MATES
2009
Springer
15 years 11 months ago
Unifying JIAC Agent Development with AWE
In this paper we describe the Agent World Editor, a tool for designing multi-agent systems and generating executable agent code. The tool also unifies the handling of different a...
Marco Lützenberger, Tobias Küster, Axel ...
HICSS
2007
IEEE
145views Biometrics» more  HICSS 2007»
15 years 11 months ago
Next-Generation Software Engineering: Function Extraction for Computation of Software Behavior
The ultra-large-scale systems of the future require the transformation of software engineering into a computational discipline capable of fast and dependable software development....
Richard C. Linger, Mark G. Pleszkoch, Luanne Burns...
SMC
2007
IEEE
132views Control Systems» more  SMC 2007»
15 years 11 months ago
Disaster management model based on Modified Fuzzy Cognitive Maps
-This paper describes the use of a Fuzzy Cognitive Map (FCM) to model disaster reconstruction, based on data collected from the cities of BAM and Baravat. The extended fuzzy cognit...
Sandeep Chandana, Henry Leung, Jason Levy
MODELS
2007
Springer
15 years 10 months ago
Model and Formalism Driven Development of Collaborative Applications
In this position paper, we explain our approach for collaborative systems development based on a model of cooperative applications and a formalism called ORCHESTRA allowing to exp...
Bertrand T. David, René Chalon
CADE
2005
Springer
15 years 10 months ago
KRHyper - In Your Pocket
Abstract. Pocket KRHyper is a reasoning system for Java-enabled mobile devices. The core of the system is a first order theorem prover and model generator based on the hyper table...
Alex Sinner, Thomas Kleemann