Sciweavers

1097 search results - page 183 / 220
» Revision Programming = Logic Programming Integrity Constra...
Sort
View
133
Voted
ECBS
2007
IEEE
142views Hardware» more  ECBS 2007»
15 years 9 months ago
Model-Driven Engineering for Development-Time QoS Validation of Component-Based Software Systems
Model-driven engineering (MDE) techniques are increasingly being used to address many of the development and operational lifecycle concerns of large-scale component-based systems....
James H. Hill, Sumant Tambe, Aniruddha S. Gokhale
106
Voted
ASPDAC
2006
ACM
93views Hardware» more  ASPDAC 2006»
15 years 8 months ago
Open access overview "industrial experience"
- Renesas Technology Corp. designers turned to OpenAccess to address the major design challenges with systems on chip for the automotive, wireless, digital consumer and industrial ...
Yoshio Inoue
ENC
2005
IEEE
15 years 8 months ago
SKIMA: Semantic Knowledge and Information Management
This paper describes SKIMA, a mediation system that gives transparent access to heterogeneous and distributed sources considering their semantics and the semantics of application ...
Héctor Pérez-Urbina, Gennaro Bruno, ...
MIDDLEWARE
2005
Springer
15 years 8 months ago
Managing the follow-me semantics to build large-scale pervasive applications
In this paper, we present the concept of follow-me semantics of the large-scale pervasive application and discuss the features and services to its implementation based on the inte...
Iara Augustin, Adenauer C. Yamin, Cláudio F...
103
Voted
ICML
1989
IEEE
15 years 6 months ago
Constructive Induction by Analogy
The available concept-learners only partially fulfill the needs imposed by the learning apprentice generation of learners. We present a novel approach to interactive concept-learni...
Luc De Raedt, Maurice Bruynooghe