7623 search results - page 471 / 1525 » Constructive Volume Modeling |
173
Voted
FATES
2004
Springer
16 years 5 days ago
2004
Springer
This paper presents a method for reducing the cost of test generation. A spanning set for a coverage criterion is a set of entities such that exercising every entity in the spannin...
135
click to vote
GECCO
2004
Springer
16 years 5 days ago
2004
Springer
This study introduces the particle swarm metaphor to the domain of organizational adaptation. A simulation model (OrgSwarm) is constructed to examine the impact of strategic inerti...
151
click to vote
ITC
2003
IEEE
16 years 2 days ago
2003
IEEE
We study the extension of applicability of system-level testing techniques to the construction of a consistent model of (legacy) systems under test, which are seen as black boxes....
200
click to vote
HYBRID
2003
Springer
16 years 10 hour ago
2003
Springer
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
159
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Currently a number of these on-line support systems for electronic contracting are under development. In this paper we develop a logical formalism to represent the content of busi...