2272 search results - page 289 / 455 » Validity Invariants and Effects |
91
Voted
ICSE
2007
IEEE-ACM
16 years 28 days ago
2007
IEEE-ACM
The Verifying Compiler (VC) project is a core component of the Dependable Systems Evolution Grand Challenge. The VC offers the promise of automatically proving that a program or c...
101
Voted
ICSE
2008
IEEE-ACM
16 years 28 days ago
2008
IEEE-ACM
The explicit documentation of the rationale of design decisions is a practice generally encouraged but rarely implemented in industry because of a variety of inhibitors. Known met...
ICFP
2005
ACM
16 years 24 days ago
2005
ACM
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
154
Voted
ICDE
2010
IEEE
16 years 18 days ago
2010
IEEE
The Voronoi diagram is an important technique for answering nearest-neighbor queries for spatial databases. In this paper, we study how the Voronoi diagram can be used on uncertain...
137
click to vote
ESORICS
2002
Springer
16 years 13 days ago
2002
Springer
Resource security pertains to the prevention of unauthorized usage of system resources that may not directly cause corruption or leakage of information. A common breach of resource...