335 search results - page 27 / 67 » Arguing safety with Problem Oriented Software Engineering |
STTT
2010
14 years 4 months ago
2010
Abstract. Partial order reduction limits the state explosion problem that arises in model checking by limiting the exploration of redundant interleavings. A state space search algo...
100
Voted
CISIS
2008
IEEE
15 years 4 months ago
2008
IEEE
One of the most challenging problems in Grid environments concerns the matchmaking between resource requests and offers. As it happens in the physical economy, Grid economy must b...
76
Voted
COMPSAC
2008
IEEE
15 years 4 months ago
2008
IEEE
Path-oriented Random Testing (PRT) aims at generating a uniformly spread out sequence of random test data that activate a single control flow path within an imperative program. T...
ICSM
2002
IEEE
15 years 2 months ago
2002
IEEE
This position paper describes ongoing work in which the Java-based SEESCOA component system is extended with functionality for run-time evolution. First, an assessment is made of ...
APSEC
1996
IEEE
15 years 1 months ago
1996
IEEE
Nowadays, for GUI application development, a number of interface builders make possible for the user to create user interfaces easily and UIMSs help to specify and design user int...