1811 search results - page 182 / 363 » Facilitation, Systems, and Users: The Complete Socio-Technic... |
225
click to vote
GIS
2002
ACM
15 years 6 months ago
2002
ACM
Vector data represents one major category of data managed by GIS. This paper presents a new technique for vector-data display that is able to precisely and efficiently map vector ...
171
click to vote
CODES
2005
IEEE
16 years 4 days ago
2005
IEEE
For embedded system development, several companies provide cross-platform development tools to aid in debugging, prototyping and optimization of programs. These are full system em...
143
click to vote
MSS
2007
IEEE
16 years 24 days ago
2007
IEEE
Storage virtualization and data management are well known problems for individual users as well as large organizations. Existing storage-virtualization systems either do not suppo...
173
click to vote
TACAS
2001
Springer
15 years 11 months ago
2001
Springer
In formal verification, we verify that a system is correct with respect to a specification. Even when the system is proven to be correct, there is still a question of how complet...
157
click to vote
IDEAS
2000
IEEE
15 years 11 months ago
2000
IEEE
We present SECONDO, a new generic environment supporting the implementation of database systems for a wide range of data models and query languages. On the one hand, this framewor...