2004 search results - page 203 / 401 » Comparison of Model Checking Tools for Information Systems |
182
click to vote
IPAW
2010
15 years 4 months ago
2010
Mitigating the devastating ramifications of major disasters requires emergency workers to respond in a maximally efficient way. Information systems can improve their efficiency by ...
186
click to vote
IVA
2010
Springer
15 years 4 months ago
2010
Springer
In earlier studies, user involvement with an embodied software agent and willingness to use that agent were partially determined by the aesthetics of the design and the moral fiber...
145
click to vote
COMPSAC
2005
IEEE
16 years 1 days ago
2005
IEEE
This paper demonstrates our Web Service based NVersion model, WS-FTM (Web Service-Fault Tolerance Mechanism), which applies this well proven technique to the domain of Web Service...
160
click to vote
COLING
2010
15 years 1 months ago
2010
Humans are very good at judging the strength of relationships between two terms, a task which, if it can be automated, would be useful in a range of applications. Systems attempti...
167
click to vote
GI
2004
Springer
15 years 11 months ago
2004
Springer
Abstract: A key idea of architecture is the description of components and their connections. This information can be extended to define the horizontal and vertical distribution of...