3256 search results - page 480 / 652 » Applications of Formal Methods to System Design and Verifica... |
74
Voted
SSD
2001
Springer
15 years 2 months ago
2001
Springer
The notion of time granularity comes into play in a variety of problems involving time representation and management in database applications, including temporal database design, t...
83
Voted
SAC
2008
ACM
14 years 9 months ago
2008
ACM
We address aggregate queries over GIS data and moving object data, where non-spatial information is stored in a data warehouse. We propose a formal data model and query language t...
102
Voted
CSFW
2011
IEEE
13 years 10 months ago
2011
IEEE
—This paper introduces YARRA, a conservative extension to C to protect applications from non-control data attacks. YARRA programmers specify their data integrity requirements by ...
COMAD
2008
14 years 11 months ago
2008
In existing database systems there is a strong need for searching data according to many attributes. In commercial database platforms, the standard search over multiple attributes...
3DPVT
2006
IEEE
15 years 4 months ago
2006
IEEE
3D imaging is a popular method for acquiring accurate models for a variety of applications. However, the size of the geometric features that can be modeled in this manner is depen...