Sciweavers

537 search results - page 32 / 108
» Digital Evolution of Behavioral Models for Autonomic Systems
Sort
View
155
Voted
DAWAK
2006
Springer
15 years 7 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
137
Voted
ICALP
1992
Springer
15 years 7 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
134
Voted
NHM
2010
89views more  NHM 2010»
14 years 10 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
128
Voted
ATAL
2005
Springer
15 years 9 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
141
Voted
LREC
2010
132views Education» more  LREC 2010»
15 years 5 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 ...