Sciweavers

2036 search results - page 143 / 408
» A generic type-and-effect system
Sort
View
101
Voted
QOSA
2007
Springer
15 years 7 months ago
Extending the Capabilities of Component Models for Embedded Systems
Component-based development helps to improve the modularity and reusability of embedded systems. Component models devised for embedded systems are typically restricted due to the l...
Ihor Kuz, Yan Liu
104
Voted
IAT
2006
IEEE
15 years 6 months ago
Dynamical Control in Large-Scale Material Handling Systems through Agent Technology
Delayed arrivals, missing tag codes, flight changes, break-downs, etc. are some of the factors, which make the environment of airport baggage handling systems (BHS) extremely dyn...
Kasper Hallenborg, Yves Demazeau
112
Voted
ICDE
2006
IEEE
143views Database» more  ICDE 2006»
15 years 6 months ago
Effectiveness Bounds for Non-Exhaustive Schema Matching Systems
Semantic validation of the effectiveness of a schema matching system is traditionally performed by comparing system-generated mappings with those of human evaluators. The human ef...
Marko Smiljanic, Maurice van Keulen, Willem Jonker
148
Voted
ICDIM
2006
IEEE
15 years 6 months ago
Model-Driven Development of Content-Based Image Retrieval Systems
: Generic systems for content-based image retrieval (CBIR), such as QBIC [7] cannot be used to solve domain-specific image retrieval problems, as for example, the identification of...
Temenushka Ignatova
ECOOPWEXCEPTION
2006
Springer
15 years 4 months ago
Exception Handling in the Choices Operating System
Exception handling is a powerful abstraction that can be used to help manage errors and support the construction of reliable operating systems. Using exceptions to notify system co...
Francis M. David, Jeffrey C. Carlyle, Ellick Chan,...