Sciweavers

3399 search results - page 294 / 680
» Requirements Development in Scenario-Based Design
Sort
View
FORTE
1996
15 years 8 months ago
Formal Description Techniques - How Formal and Descriptive are they?
I discuss formal description techniques (FDTs) as they are applied in practice in software and system engineering. Their quality can be measured by their formality, descriptivenes...
Manfred Broy
AAMAS
2010
Springer
15 years 6 months ago
ASPECS: an agent-oriented software process for engineering complex systems
Holonic multiagent systems (HMAS) offers a promising software engineering approach for developing complex open software systems. However the process of building MultiAgent Systems...
Massimo Cossentino, Nicolas Gaud, Vincent Hilaire,...
IJRR
2006
95views more  IJRR 2006»
15 years 6 months ago
Experiments with a Large Heterogeneous Mobile Robot Team: Exploration, Mapping, Deployment and Detection
We describe the design and experimental validation of a large heterogeneous mobile robot team built for the DARPA Software for Distributed Robotics (SDR) program. The core challen...
Andrew Howard, Lynne E. Parker, Gaurav S. Sukhatme
ERCIM
2007
125views more  ERCIM 2007»
15 years 6 months ago
Workflow Management Systems for Grid Computing
With the advent of Grid and application technologies, scientists and engineers are building more and more complex applications to manage and process large data sets, and execute s...
Carmen Bratosin, Wil M. P. van der Aalst
JCC
2007
69views more  JCC 2007»
15 years 6 months ago
Discrimination of dynamical system models for biological and chemical processes
In technical chemistry, systems biology and biotechnology, the construction of predictive models has become an essential step in process design and product optimization. Accurate ...
Sönke Lorenz, Elmar Diederichs, Regina Telgma...