15614 search results - page 2801 / 3123 » The State of State |
164
click to vote
LOPSTR
2007
Springer
16 years 27 days ago
2007
Springer
Homeomorphic Embedding (HEm) has proven to be very powerful for supervising termination of computations, provided that such computations are performed over a finite signature, i.e...
206
click to vote
MHCI
2007
Springer
16 years 27 days ago
2007
Springer
This paper presents a photo browsing system on mobile devices to browse and search photos efficiently by tilting action. It employs tilt dynamics and multi-scale photo screen layo...
196
click to vote
MIDDLEWARE
2007
Springer
16 years 27 days ago
2007
Springer
In this paper we consider the problem of maximising utility in linked market-driven distributed and Grid systems. In such systems, users submit jobs through brokers who can virtua...
155
click to vote
POLICY
2007
Springer
16 years 26 days ago
2007
Springer
The implementation of network security devices such as firewalls and IDSs are constantly being improved to accommodate higher security and performance standards. Using reliable a...
199
click to vote
PPDP
2007
Springer
16 years 26 days ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...