Sciweavers

4737 search results - page 577 / 948
» The LOGIC negotiation model
Sort
View
191
Voted
ATAL
2007
Springer
16 years 1 months ago
A formal model for situated semantic alignment
Ontology matching is currently a key technology to achieve the semantic alignment of ontological entities used by knowledge-based applications, and therefore to enable their inter...
Manuel Atencia, W. Marco Schorlemmer
POLICY
2007
Springer
16 years 1 months ago
Proteus: A Semantic Context-Aware Adaptive Policy Model
The growing diffusion of portable devices enables users to benefit from anytime and anywhere impromptu collaboration. Appropriate policy models that take into account the dynamici...
Alessandra Toninelli, Rebecca Montanari, Lalana Ka...
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
16 years 1 months ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
ANSS
2006
IEEE
16 years 1 months ago
An Integrative Modelling Approach for Simulation and Analysis of Adaptive Agents
To simulate adaptive agents with abilities matching those of their real-world counterparts, a natural approach is to incorporate adaptation mechanisms such as classical conditioni...
Tibor Bosse, Catholijn M. Jonker, Jan Treur
DATE
2006
IEEE
101views Hardware» more  DATE 2006»
16 years 1 months ago
A parallel configuration model for reducing the run-time reconfiguration overhead
Multitasking on reconfigurable logic can achieve very high silicon reusability. However, configuration latency is a major limitation and it can largely degrade the system performa...
Yang Qu, Juha-Pekka Soininen, Jari Nurmi