Sciweavers

137 search results - page 16 / 28
» Interaction debugging: an integral approach to analyze human...
Sort
View
CCR
2004
151views more  CCR 2004»
15 years 6 months ago
Practical verification techniques for wide-area routing
Protocol and system designers use verification techniques to analyze a system's correctness properties. Network operators need verification techniques to ensure the "cor...
Nick Feamster
TSE
1998
115views more  TSE 1998»
15 years 6 months ago
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering
—It is well known that requirements engineering plays a critical role in software quality. The use case approach is a requirements elicitation technique commonly used in industri...
Woo Jin Lee, Sung Deok Cha, Yong Rae Kwon
ICDE
2006
IEEE
174views Database» more  ICDE 2006»
16 years 20 days ago
The Center for Plasma Edge Simulation Workflow Requirements
The Center for Plasma Edge Simulation (CPES) is a recently funded prototype Fusion Simulation Project, which is part of the DOE SciDAC program. Our center is developing a novel in...
Scott Klasky, Bertram Ludäscher, Manish Paras...
KBSE
2007
IEEE
16 years 27 days ago
Iterative model-driven development of adaptable service-based applications
Flexibility and interoperability make web services well suited for designing highly-customizable reactive service-based applications, that is interactive applications that can be ...
Leen Lambers, Hartmut Ehrig, Leonardo Mariani, Mau...
HCI
2007
15 years 8 months ago
A Distributed Framework for Scalable Large-Scale Crowd Simulation
Emerging applications in the area of Emergency Response and Disaster Management are increasingly demanding interactive capabilities to allow for the quick understanding of a critic...
Miguel Lozano, Pedro Morillo, Daniel Lewis, Dirk R...