Sciweavers

4084 search results - page 653 / 817
» Constraints in spatial structures
Sort
View
134
Voted
MMAS
2010
Springer
14 years 10 months ago
Balanced Truncation of Linear Second-Order Systems: A Hamiltonian Approach
We present a formal procedure for structure-preserving model reduction of linear second-order and Hamiltonian control problems that appear in a variety of physical contexts, e.g., ...
Carsten Hartmann, Valentina-Mira Vulcanov, Christo...
150
Voted
SIGMOD
2004
ACM
198views Database» more  SIGMOD 2004»
16 years 3 months ago
Secure XML Querying with Security Views
The prevalent use of XML highlights the need for a generic, flexible access-control mechanism for XML documents that supports efficient and secure query access, without revealing ...
Wenfei Fan, Chee Yong Chan, Minos N. Garofalakis
143
Voted
ATAL
2009
Springer
15 years 10 months ago
Directed soft arc consistency in pseudo trees
We propose an efficient method that applies directed soft arc consistency to a Distributed Constraint Optimization Problem (DCOP) which is a fundamental framework of multi-agent ...
Toshihiro Matsui, Marius-Calin Silaghi, Katsutoshi...
126
Voted
ER
2007
Springer
130views Database» more  ER 2007»
15 years 10 months ago
Towards Automated Reasoning on ORM Schemes
The goal of this article is to formalize Object Role Modeling (ORM) using the DLR description logic. This would enable automated reasoning on the formal properties of ORM diagrams,...
Mustafa Jarrar
139
Voted
ICSOC
2007
Springer
15 years 9 months ago
Pattern Based SOA Deployment
Abstract. A key function of a Service Oriented Architecture is the separation between business logic and the platform of its implementation and deployment. Much of the focus in SOA...
William Arnold, Tamar Eilam, Michael H. Kalantar, ...