2517 search results - page 245 / 504 » Specifying Weak Sets |
164
click to vote
DSN
2007
IEEE
16 years 1 months ago
2007
IEEE
Web-services are supported by a complex software infrastructure that must provide a robust service to the client applications. This practical experience report presents a practica...
176
click to vote
ISMAR
2007
IEEE
16 years 28 days ago
2007
IEEE
Unknown environments pose a particular challenge for augmented reality applications because the 3D models required for tracking, rendering and interaction are not available ahead ...
179
click to vote
PG
2007
IEEE
16 years 28 days ago
2007
IEEE
We present an appearance-based user interface for artists to efficiently design customized image-based lighting environments. 1 Our approach avoids typical iterations of paramete...
177
click to vote
SEFM
2007
IEEE
16 years 28 days ago
2007
IEEE
We model security protocols as a game tree using concepts of game semantics. Using this model we ascribe semantics to protocols written in the standard simple arrow notation. Acco...
173
click to vote
CONCUR
2007
Springer
16 years 25 days ago
2007
Springer
We introduce strategy logic, a logic that treats strategies in two-player games as explicit first-order objects. The explicit treatment of strategies allows us to specify properti...