Sciweavers

3771 search results - page 441 / 755
» Subobject Transformation Systems
Sort
View
SE
2008
15 years 6 months ago
Towards Evaluating Maintainability Within Model-Driven Environments
: Model Driven Software Development (MDSD) has matured over the last few years and is now becoming an established technology. One advantage that is promoted by the MDSD community i...
Thomas Goldschmidt, Jens Kübler
SIS
2007
15 years 6 months ago
A General Approach to Securely Querying XML
Access control models for XML data can be classified in two major categories: node filtering and query rewriting systems. The first category includes approaches that use access ...
Ernesto Damiani, Majirus Fansi, Alban Gabillon, St...
FLAIRS
2006
15 years 6 months ago
Reasoning about Knowledge and Continuity
The aim of this paper is to extend the modal logic of knowledge due to Moss and Parikh by state transformers arising, eg, from actions of agents. The peculiarity of Moss and Parik...
Bernhard Heinemann
MMNS
2001
114views Multimedia» more  MMNS 2001»
15 years 6 months ago
Agent-Enhanced Dynamic Service Level Agreement in Future Network Environments
Current network infrastructures are experiencing rapid transformation from providing mere connectivity, to a wider range of flexible network services with Quality of Service (QoS)....
David Chieng, Alan Marshall, Ivan Ho, Gerard Parr
147
Voted
NIPS
2001
15 years 6 months ago
The Concave-Convex Procedure (CCCP)
We introduce the Concave-Convex procedure (CCCP) which constructs discrete time iterative dynamical systems which are guaranteed to monotonically decrease global optimization/ener...
Alan L. Yuille, Anand Rangarajan