2261 search results - page 167 / 453 » Modeling the Experimental Software Engineering Process |
138
click to vote
FSTTCS
2001
Springer
15 years 9 months ago
2001
Springer
Abstract. This paper addresses the state explosion problem in automata based LTL model checking. To deal with large space requirements we turn to use a distributed approach. All th...
143
click to vote
TMRA
2005
Springer
15 years 10 months ago
2005
Springer
This work-in-progress report subsumes our ongoing research to develop a Topic Maps centric, modularised system which supports collaborative software development by combining the me...
114
click to vote
CODES
1998
IEEE
15 years 9 months ago
1998
IEEE
In this paper, we present thread-based optimistic distributed timed cosimulation methods which reduce the overhead of optimistic simulation. First, we present thread simulation mo...
252
click to vote
CISIS
2011
IEEE
14 years 4 months ago
2011
IEEE
—The Dynamic Vehicle Routing Problem (DVRP) is an optimization problem in which agents deliver orders that are not known in advance to the routing. Partial solutions need to be a...
138
click to vote
AMAST
2006
Springer
15 years 8 months ago
2006
Springer
Abstract. Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully symmetric, and how to determine equivalence o...