2766 search results - page 528 / 554 » Hybridizing a Logical Framework |
126
Voted
MDM
2009
Springer
15 years 10 months ago
2009
Springer
—This paper assumes a set of n mobile sensors that move in the Euclidean plane as a swarm. Our objectives are to explore a given geographic region by detecting spatio-temporal ev...
164
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
Java bug finders perform static analysis to find implementation mistakes that can lead to exploits and failures; Java compilers perform static analysis for optimization. If Java...
144
click to vote
IEEEPACT
2006
IEEE
15 years 10 months ago
2006
IEEE
Transactional memory is an attractive design concept for scalable multiprocessors because it offers efficient lock-free synchronization and greatly simplifies parallel software....
168
click to vote
LICS
2006
IEEE
15 years 10 months ago
2006
IEEE
We present an expressiveness study of linearity and persistence of processes. We choose the π-calculus, one of the main representatives of process calculi, as a framework to cond...
158
click to vote
ICDE
2005
IEEE
15 years 9 months ago
2005
IEEE
— XQuery, the defacto XML query language, is a functional language with operational semantics, which precludes the direct application of classical query optimization techniques. ...