5034 search results - page 411 / 1007 » A Content-Centric Development Process Model |
156
click to vote
VMCAI
2010
Springer
16 years 2 months ago
2010
Springer
This paper investigates relative precision and optimality of analyses for concurrent probabilistic systems. Aiming at the problem at the heart of probabilistic model checking ? com...
146
click to vote
ANSS
2002
IEEE
15 years 10 months ago
2002
IEEE
In previous work we presented an algorithm for cloning parallel simulations that enables multiple simulated execution paths to be explored simultaneously. The method is targeted f...
168
Voted
ICMAS
1998
15 years 6 months ago
1998
In this paper, a model is proposed for multi-agent probabilistic reasoning in a distributed environment. Unlike other methods, this model is capable of processing input in a truly...
124
Voted
WSC
1998
15 years 6 months ago
1998
This paper presents SimBuilder, a simulation system incorporating environmental and quality concerns into a traditional manufacturing simulation environment. These simulations can...
152
click to vote
JUCS
2007
15 years 4 months ago
2007
: Collaborative learning environments require carefully crafted designs –both technical and social. This paper presents a model describing how to design socio-technical environme...