3381 search results - page 229 / 677 » Using VCL as an Aspect-Oriented Approach to Requirements Mod... |
155
click to vote
WSC
2000
15 years 8 months ago
2000
Parallel discrete event simulation (PDES) techniques have not yet made a substantial impact on the network simulation community because of the need to recast the simulation models...
195
click to vote
IROS
2009
IEEE
16 years 1 months ago
2009
IEEE
— Partially Observable Markov Decision Processes (POMDPs) provide a rich mathematical model to handle realworld sequential decision processes but require a known model to be solv...
173
click to vote
ISQED
2007
IEEE
16 years 27 days ago
2007
IEEE
In nanometer regime, the effects of variations are having an increasing impact on the delay and power characteristics of devices as well as the yield of the circuit. Statistical t...
170
click to vote
FSTTCS
2001
Springer
15 years 11 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...
178
click to vote
CONTEXT
2007
Springer
16 years 24 days ago
2007
Springer
Context-aware systems are software systems which adapt their behaviour according to the context of use. The requirements engineering phase is recognized as a primordial step to dev...