4340 search results - page 467 / 868 » Formal Methods and Cryptography |
191
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
Similarity search usually encounters a serious problem in the high dimensional space, known as the “curse of dimensionality”. In order to speed up the retrieval efficiency, p...
197
click to vote
ATAL
2007
Springer
16 years 29 days ago
2007
Springer
Multiagent environments are often not cooperative nor collaborative; in many cases, agents have conflicting interests, leading to adversarial interactions. This paper presents a ...
141
Voted
FMCO
2007
Springer
16 years 28 days ago
2007
Springer
The Universe Type System is an ownership type system for object-oriented programming languages that hierarchically structures the object store; it is used to reason modularly about...
208
click to vote
FMCO
2007
Springer
16 years 28 days ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
163
click to vote
FMCO
2007
Springer
16 years 28 days ago
2007
Springer
We present a language and a program analysis that certifies the safe use of flexible resource management idioms, in particular advance reservation or “block booking” of costl...