Sciweavers

3765 search results - page 225 / 753
» Qualitative Action Systems
Sort
View
CORR
2009
Springer
67views Education» more  CORR 2009»
15 years 5 months ago
On Measuring Non-Recursive Trade-Offs
We investigate the phenomenon of non-recursive trade-offs between descriptional systems in an abstract fashion. We aim at categorizing non-recursive trade-offs by bounds on their g...
Hermann Gruber, Markus Holzer, Martin Kutrib
ICSEA
2009
IEEE
15 years 4 months ago
Strengthening Refactoring: Towards Software Evolution with Quantitative and Experimental Grounds
: Refactoring is a process meant to improve the internal quality of software systems. However, while on one hand, the guidelines for this delicate process are still empirical and q...
Sergio Bryton, Fernando Brito e Abreu
SBIA
1995
Springer
15 years 10 months ago
Modeling the Influence of Non-Changing Quantities
ion Framework for Compositional Modeling 36 Diane Chi and Yumi Iwasaki Model Decomposition and Simulation 45 Daniel J. Clancy and Benjamin Kuipers A Distance Measure for Attention ...
Bert Bredeweg, Kees de Koning, Cis Schut
FCS
2007
15 years 8 months ago
Coordinating Planning Agents for Moderately and Tightly-Coupled Tasks
In many task-planning domains, dynamic assemblies of autonomous agents are replacing hierarchical organisations because they promise more agility. In such assemblies, interdepende...
J. Renze Steenhuisen, Cees Witteveen
ACSD
2003
IEEE
151views Hardware» more  ACSD 2003»
16 years 15 days ago
Communicating Transaction Processes
Message Sequence Charts (MSC) have been traditionally used to depict execution scenarios in the early stages of design cycle. MSCs portray inter-process ( inter-object) interactio...
Abhik Roychoudhury, P. S. Thiagarajan