1113 search results - page 36 / 223 » Counter Systems for Data Logics |
130
Voted
FLAIRS
2003
15 years 5 months ago
2003
Spacecraft are key components of military operations and everyday life. To achieve space situation awareness, human operators must monitor large numbers of parameters. During off-...
132
Voted
FAST
2004
15 years 5 months ago
2004
File system traces have been used for years to analyze user behavior and system software behavior, leading to advances in file system and storage technologies. Existing traces, ho...
130
click to vote
JSAI
2007
Springer
15 years 10 months ago
2007
Springer
This paper reports our ongoing research effort to develop a system which translates legal texts into logical forms in which we can check for inconsistency. Our logical formalizati...
230
click to vote
GIS
2004
ACM
16 years 5 months ago
2004
ACM
Motivated by the increasing need to handle complex multidimensional data in location-based data warehouses, this paper proposes a powerful data model that is able to capture the c...
130
click to vote
MSS
2003
IEEE
15 years 9 months ago
2003
IEEE
Data grids federate storage resources. They provide a logical name space that can be used to register digital entities, a storage repository ion for manipulating data, and a high ...