Sciweavers

4872 search results - page 274 / 975
» CBR for Modeling Complex Systems
Sort
View
ISSRE
2010
IEEE
15 years 4 months ago
Automating System Tests Using Declarative Virtual Machines
—Automated regression test suites are an essential software engineering practice: they provide developers with rapid feedback on the impact of changes to a system’s source code...
Sander van der Burg, Eelco Dolstra
167
Voted
ICFEM
2009
Springer
16 years 5 days ago
Combining Static Model Checking with Dynamic Enforcement Using the Statecall Policy Language
Internet protocols encapsulate a significant amount of state, making implementing the host software complex. In this paper, we define the Statecall Policy Language (SPL) which pr...
Anil Madhavapeddy
150
Voted
HICSS
2003
IEEE
110views Biometrics» more  HICSS 2003»
15 years 11 months ago
Modeling Web Applications Using Java and XML Related Technologies
The purpose of this paper is to propose visual models for a web application using Java and XML related technologies. We consider a web application that uses 3tier architecture and...
Sam Chung, Yun Sik Lee
202
Voted
FGR
2000
IEEE
175views Biometrics» more  FGR 2000»
15 years 10 months ago
A Framework for Modeling the Appearance of 3D Articulated Figures
This paper describes a framework for constructing a linear subspace model of image appearance for complex articulated 3D figures such as humans and other animals. A commercial mo...
Hedvig Sidenbladh, Fernando De la Torre, Michael J...
UML
1999
Springer
15 years 10 months ago
Closing the Gap Between Object-Oriented Modeling of Structure and Behavior
The UML as standardized language for visual object-oriented modeling allows to capture the requirements as well as the structure and behavior of complex software systems. With the ...
Holger Giese, Jörg Graf, Guido Wirtz