Sciweavers

12050 search results - page 319 / 2410
» Modeling and Simulation
Sort
View
QEST
2007
IEEE
15 years 10 months ago
Model checking the probabilistic pi-calculus
Gethin Norman, Catuscia Palamidessi, David Parker,...
QEST
2007
IEEE
15 years 10 months ago
A framework to design and solve Markov Decision Well-formed Net models
Marco Beccuti, Daniele Codetta Raiteri, Giuliana F...
118
Voted
CONTEXT
2007
Springer
15 years 10 months ago
The User Model and Context Ontology GUMO Revisited for Future Web 2.0 Extensions
Dominik Heckmann, Eric Schwarzkopf, Junichiro Mori...
FLAIRS
2004
15 years 5 months ago
Automatic Creation of Contextual Knowledge in Simulated Agents
Modeling human behavior can be complicated and expensive. To be able to reduce costs, new methodologies and tools must be developed that automate the creation of human behavior mo...
Hans Fernlund, Avelino J. Gonzalez
WCE
2007
15 years 5 months ago
Simulation of Transformer With Aging Insulation and Incipient Faults
Abstract—The development of the transformer insulation failure undergoes three stages: insulation aging, incipient faults and a short circuit. This paper presents a complete sche...
X. Wang, Mark Sumner, D. W. P. Thomas