Sciweavers

2062 search results - page 262 / 413
» A Concern-Oriented Requirements Engineering Model
Sort
View
ICAS
2006
IEEE
128views Robotics» more  ICAS 2006»
15 years 10 months ago
The AML Approach to Modeling Autonomic Systems
Autonomic systems are typically distributed, complex and concurrent systems, comprised of multiple interacting autonomic elements that often exhibit emergent behavior. Design and ...
Radovan Cervenka, Dominic A. P. Greenwood, Ivan Tr...
ISM
2005
IEEE
120views Multimedia» more  ISM 2005»
15 years 10 months ago
MML: A Language for Modeling Interactive Multimedia Applications
The development of highly interactive multimedia applications is still a challenging and complex task. In addition to the application logic multimedia applications typically provi...
Andreas Pleuß
EMSOFT
2003
Springer
15 years 9 months ago
Space Reductions for Model Checking Quasi-Cyclic Systems
Despite significant research on state-space reductions, the poor scalability of model checking for reasoning about behavioral models of large, complex systems remains the chief ob...
Matthew B. Dwyer, Robby, Xianghua Deng, John Hatcl...
167
Voted
HICSS
2009
IEEE
662views Biometrics» more  HICSS 2009»
15 years 11 months ago
Modeling Collaborative Behavior: Foundations for Collaboration Technologies
Can models of collaboration serve as a foundation for development of collaborative technologies in much the same way that engineers use models when developing complex systems? We ...
Steven E. Poltrock, Mark Handel
146
Voted
IEEEARES
2007
IEEE
15 years 11 months ago
Models for automatic generation of safety-critical real-time systems
Model-based development has become state of the art in software engineering. A number of tools, like Matlab/Simulink or SCADE, are available for the automatic generation of applic...
Christian Buckl, Matthias Regensburger, Alois Knol...