10038 search results - page 1668 / 2008 » Model Checking for Managers |
189
click to vote
ICEBE
2005
IEEE
16 years 6 days ago
2005
IEEE
Over a traditional Database Management System (DBMS), the answer to an aggregate query is usually much smaller than the answer to a similar nonaggregate query. Therefore, we call ...
187
click to vote
ISPDC
2005
IEEE
16 years 6 days ago
2005
IEEE
DIET (Distributed Interactive Engineering Toolbox) is a toolbox for the construction of Network Enabled Server (NES) systems. For most NES systems, as for most grid middleware sys...
168
click to vote
HT
2005
ACM
16 years 5 days ago
2005
ACM
— Spatial hypertext was developed from studies of how humans deal with information overflow particularly in situations where data needed to be interpreted quickly. Intrusion det...
195
click to vote
HT
2005
ACM
16 years 5 days ago
2005
ACM
In order to support knowledge workers throughout their task of searching, locating and manipulating information, a system that provides information suitable for a particular userâ...
188
click to vote
JCDL
2005
ACM
16 years 5 days ago
2005
ACM
The Digital Anthropology Resources for Teaching (DART) project integrates the content acquisition and cataloging initiatives of a federated digital repository with the development...