Sciweavers

5372 search results - page 834 / 1075
» complexity 2007
Sort
View
SEMWEB
2007
Springer
16 years 22 days ago
Privacy and Capability Management for the European eIDM Framework
The natural evolution of eGovernment is to go beyond the management of identities and therefore it is necessary to manage people, companies or organizations, and their capabilities...
Mario Reyes-Ayala, Ignacio Alamillo, Daniel Chavar...
SG
2007
Springer
16 years 21 days ago
Correlating Text and Images: Concept and Evaluation
This paper presents the concept and an evaluation of a novel approach to support students to understand complex spatial relations and to learn unknown terms of a domain-specific t...
Timo Götzelmann, Pere-Pau Vázquez, Knu...
SOCO
2007
Springer
16 years 21 days ago
Patterns of Component Evolution
Contemporary software systems are composed of many components, which, in general, undergo phased and incremental development. In order to facilitate the corresponding construction ...
Rajesh Vasa, Markus Lumpe, Jean-Guy Schneider
SPIN
2007
Springer
16 years 21 days ago
Towards Model Checking Spatial Properties with SPIN
Abstract. We present an approach for the verication of spatial properties with Spin. We rst extend one of Spin's main property specication mechanisms, i.e., the linear-time...
Alberto Lluch-Lafuente
STACS
2007
Springer
16 years 21 days ago
The Polynomially Bounded Perfect Matching Problem Is in NC 2
Abstract. The perfect matching problem is known to be in ¶, in randomized NC, and it is hard for NL. Whether the perfect matching problem is in NC is one of the most prominent ope...
Manindra Agrawal, Thanh Minh Hoang, Thomas Thierau...