Sciweavers

1003 search results - page 69 / 201
» Extending the Adaptability of Reference Models
Sort
View
FOSSACS
2004
Springer
15 years 6 months ago
A Game Semantics of Local Names and Good Variables
We describe a game semantics for local names in a functional setting. It is based on a category of dialogue games acted upon by the automorphism group of the natural numbers; this ...
James Laird
COOPIS
1997
IEEE
15 years 5 months ago
Query Modification in Object-Oriented Database Federations
W e discuss the modification of queries against an integrated view in a federation of object-oriented databases. W epresent a generalisation of existing algorithms for simple glob...
Mark W. W. Vermeer, Peter M. G. Apers
ICIW
2007
IEEE
15 years 1 months ago
Analysis of Web Services Secure Conversation with Formal Methods
Web Services Secure Conversation extends Web Services Trust to provide mechanisms for establishing security consecurity context is an abstract concept that refers an authenticated...
M. Llanos Tobarra, Diego Cazorla, Fernando Cuarter...
CDC
2009
IEEE
108views Control Systems» more  CDC 2009»
15 years 6 months ago
Stability Overlay for linear and nonlinear time-varying plants
— This paper proposes a strategy referred to as Stability Overlay (SO) for linear and nonlinear time-varying plants, that provides input/output stability guarantees for a wide se...
Paulo Andre Nobre Rosa, Jeff S. Shamma, Carlos Sil...
SODA
2003
ACM
127views Algorithms» more  SODA 2003»
15 years 2 months ago
The set-associative cache performance of search trees
We consider the costs of access to data stored in search trees assuming that those memory accesses are managed with a cache. Our cache memory model is two-level, has a small degre...
James D. Fix