Sciweavers

2513 search results - page 223 / 503
» Tamper-Tolerant Software: Modeling and Implementation
Sort
View
SIGSOFT
2008
ACM
15 years 6 months ago
JUnit 3.8 documented using collaborations
This paper describes the design of the unit testing framework JUnit v3.8. The documentation technique employed is an enhanced version of collaboration-based design, also known as ...
Dirk Riehle
ICFEM
2009
Springer
16 years 1 months ago
Symbolic Query Exploration
Abstract. We study the problem of generating a database and parameters for a given parameterized SQL query satisfying a given test condition. We introduce a formal background theor...
Margus Veanes, Pavel Grigorenko, Peli de Halleux, ...
EUROMICRO
2004
IEEE
15 years 10 months ago
GridSphere: An Advanced Portal Framework
In traditional web application development, very few libraries exist to make portal development easy. In general, many homegrown and vertical solutions exist and very little code ...
Jason Novotny, Michael Russell, Oliver Wehrens
WSC
2008
15 years 8 months ago
Improving performance by replicating simulations with alternative synchronization approaches
Parallel and distributed simulation facilitates the construction of a simulation application (i.e., federation in HLA terminology) with a number of simulation components (federate...
Zengxiang Li, Wentong Cai, Stephen John Turner, Ke...
BIS
2006
122views Business» more  BIS 2006»
15 years 7 months ago
Variability Mechanisms in E-Business Process Families
Abstract Nowadays, process oriented software systems, like many business information systems, don't exist only in one single version, but in many variants for better coverage ...
Arnd Schnieders, Frank Puhlmann