2004 search results - page 304 / 401 » Comparison of Model Checking Tools for Information Systems |
102
click to vote
FAC
2000
14 years 11 months ago
2000
Formal approaches to the design of interactive systems rely on reasoning about properties of the t a very high level of abstraction. Specifications to support such an approach typi...
104
click to vote
HCI
2009
14 years 9 months ago
2009
This paper will look at the human predisposition to oral tradition and its effectiveness as a learning tool to convey mission-critical information. After exploring the effectivenes...
106
click to vote
3DGIS
2006
Springer
15 years 5 months ago
2006
Springer
Database management systems (DBMS) have significantly changed in the last several years. From a system dealing with management of administrative data they have involved to a spati...
107
click to vote
HT
2006
ACM
15 years 5 months ago
2006
ACM
In recent years, tagging systems have become increasingly popular. These systems enable users to add keywords (i.e., “tags”) to Internet resources (e.g., web pages, images, vi...
96
Voted
SIGSOFT
2000
ACM
15 years 4 months ago
2000
ACM
Constraint-based languages can express in a concise way the complex logic of a new generation of interactive services for applications such as banking or stock trading, that must ...