Sciweavers

537 search results - page 32 / 108
» Digital Evolution of Behavioral Models for Autonomic Systems
Sort
View
97
Voted
DAWAK
2006
Springer
15 years 1 months ago
A Versioning Management Model for Ontology-Based Data Warehouses
More and more integration systems use ontologies to solve the problem of semantic heterogeneities between autonomous databases. To automate the integration process, a number of the...
Dung Nguyen Xuan, Ladjel Bellatreche, Guy Pierra
83
Voted
ICALP
1992
Springer
15 years 1 months ago
What Good Are Digital Clocks?
Real-time systems operate in \real," continuous time and state changes may occur at any real-numbered time point. Yet many veri cation methods are based on the assumption that...
Thomas A. Henzinger, Zohar Manna, Amir Pnueli
94
Voted
NHM
2010
89views more  NHM 2010»
14 years 4 months ago
Quasistatic evolution for Cam-Clay plasticity: The spatially homogeneous case
We study the spatially uniform case of the problem of quasistatic evolution in small strain nonassociative elastoplasticity (Cam-Clay model). Through the introdution of a viscous a...
Gianni Dal Maso, Francesco Solombrino
81
Voted
ATAL
2005
Springer
15 years 3 months ago
Experiences with the design and implementation of an agent-based autonomous UAV controller
This paper reports experiences and outcomes of designing and developing an agent–based, autonomous mission control system for an unmanned aerial vehicle (UAV). Most UAVs are not...
Samin Karim, Clinton Heinze
84
Voted
LREC
2010
132views Education» more  LREC 2010»
14 years 11 months ago
Development and Use of an Evaluation Collection for Personalisation of Digital Newspapers
This paper presents the process of development and the characteristics of an evaluation collection for a personalisation system for digital newspapers. This system selects, adapts...
Alberto Díaz, Pablo Gervás, Antonio ...