1497 search results - page 276 / 300 » Extended static checking |
186
Voted
POPL
2005
ACM
16 years 1 months ago
2005
ACM
Despite the extensiveness of recent investigations on static typing for XML, parametric polymorphism has rarely been treated. This well-established typing discipline can also be u...
105
Voted
ESORICS
2003
Springer
15 years 6 months ago
2003
Springer
Abstract. Proofs of security protocols typically employ simple abstractions of cryptographic operations, so that large parts of such proofs pendent of cryptographic details. The ty...
112
Voted
AI
2004
Springer
15 years 28 days ago
2004
Springer
Order-sorted logic has been formalized as first-order logic with sorted terms where sorts are ordered to build a hierarchy (called a sort-hierarchy). These sorted logics lead to u...
133
Voted
PVLDB
2010
14 years 11 months ago
2010
To enable smart environments and self-tuning data centers, we are developing the Aspen system for integrating physical sensor data, as well as stream data coming from machine logi...
222
Voted
ICDE
2009
IEEE
16 years 2 months ago
2009
IEEE
Reverse nearest neighbor (RNN) queries have a broad application base such as decision support, profile-based marketing, resource allocation, data mining, etc. Previous work on RNN ...