2004 search results - page 125 / 401 » Comparison of Model Checking Tools for Information Systems |
171
click to vote
IEEEVAST
2010
14 years 11 months ago
2010
Information foraging and sensemaking with heterogeneous information are context-dependent activities. Thus visual analytics tools to support these activities must incorporate cont...
141
click to vote
CAISE
2009
Springer
15 years 11 months ago
2009
Springer
In CAiSE 2006, we had presented a framework to support development of secure information systems. The framework was based on the integration of two security-aware approaches, the S...
178
click to vote
JOT
2010
15 years 3 months ago
2010
To achieve the multi-agent systems’ goals, agents interact to exchange information, to cooperate and to coordinate their tasks. Interaction is generally recognized as an importa...
110
click to vote
ITCC
2003
IEEE
15 years 10 months ago
2003
IEEE
The Cluster-Weighted Modeling (CWM) is emerging as a versatile tool for modeling dynamical systems. It is a mixture density estimator around local models. To be specific, the inpu...
130
Voted
SIGMETRICS
2008
ACM
15 years 4 months ago
2008
ACM
The benefit of Class-of-Service (CoS) is an important topic in the "Network Neutrality" debate. Proponents of network neutrality suggest that over-provisioning is a viab...