Sciweavers

3284 search results - page 56 / 657
» On the modularity of feature interactions
Sort
View
ICSE
2001
IEEE-ACM
14 years 1 months ago
JMOCHA: A Model Checking Tool that Exploits Design Structure
Mocha is a model checker based on the theme of exploiting design modularity: instead of manipulating unstructured state-transition graphs, it supports the hierarchical modeling fra...
Rajeev Alur, Luca de Alfaro, Radu Grosu, Thomas A....
PRIMA
2001
Springer
14 years 1 months ago
The Role of Castes in Formal Specification of MAS
One of the most appealing features of multiagent technology is its natural way to modularise a complex system in terms of multiple, interacting and autonomous components. As a natu...
Hong Zhu
ENVSOFT
2006
117views more  ENVSOFT 2006»
13 years 8 months ago
Land information system: An interoperable framework for high resolution land surface modeling
Knowledge of land surface water, energy, and carbon conditions are of critical importance due to their impact on many real world applications such as agricultural production, wate...
Sujay V. Kumar, Christa D. Peters-Lidard, Yudong T...
ESE
2006
97views Database» more  ESE 2006»
13 years 8 months ago
An empirical study of fine-grained software modifications
Software is typically improved and modified in small increments (we refer to each of these increments as a modification record--MR). MRs are usually stored in a configuration manag...
Daniel M. Germán
CMOT
1998
92views more  CMOT 1998»
13 years 8 months ago
SDML: A Multi-Agent Language for Organizational Modelling
A programming language which is optimized for modelling multi-agent interaction within articulated social structures such as organizations is described with several examples of it...
Scott Moss, Helen Gaylard, Steve Wallis, Bruce Edm...