4636 search results - page 231 / 928 » Modelling and Validation with VipTool |
JAVA
1999
Springer
14 years 13 days ago
1999
Springer
The Java memory model described in Chapter 17 of the Java Language Specification gives constraints on how threads interact through memory. The Java memory model is hard to interp...
KBSE
1998
IEEE
14 years 12 days ago
1998
IEEE
In this paper we describe a tools environment which automates the validation and maintenance of a requirements model written in many-sorted first order logic. We focus on: a trans...
GLOBECOM
2007
IEEE
14 years 1 days ago
2007
IEEE
The paper proposes analytical models of two types of Multi-RED queues, WRED and RIO-C, serving as droppers in DiffServ networks. Both are scrutinized under two types of configurati...
ATAL
2006
Springer
13 years 12 months ago
2006
Springer
Multiagent probabilistic reasoning with multiply sectioned Bayesian networks requires interfacing agent subnets (the modeling task) subject to a set of conditions. To specify the ...
BCSHCI
2007
13 years 9 months ago
2007
The IBM Task Modeler supports the rapid creation and analysis of hierarchical task models, thereby providing a valuable and naturally visual tool for information architects. Task ...