3428 search results - page 99 / 686 » Making the Case |
JSS
2006
14 years 10 months ago
2006
One of the major problems within the software testing area is how to get a suitable set of cases to test a software system. A good set of test cases should assure maximum effectiv...
124
click to vote
FOAL
2009
ACM
15 years 5 months ago
2009
ACM
Aspect-oriented programming (AOP) fosters the coding of tangled concerns in separated units that are then woven together in the executable system. Unfortunately, the oblivious nat...
ADBIS
2006
Springer
15 years 4 months ago
2006
Springer
In many information systems, the databases that make up the system are distributed in different modules or branch offices according to the requirements of the business enterprise. ...
IPPS
2000
IEEE
15 years 3 months ago
2000
IEEE
This paper examines the role of parametric modeling as an application for the global computing grid, and explores some heuristics which make it possible to specify soft real time ...
127
click to vote
LICS
1995
IEEE
15 years 2 months ago
1995
IEEE
We present new proofs of cut elimination for intuitionistic, classical, and linear sequent calculi. In all cases the proofs proceed by three nested structural inductions, avoiding...