Sciweavers

832 search results - page 141 / 167
» System-level development of embedded software
Sort
View
SFM
2005
Springer
243views Formal Methods» more  SFM 2005»
14 years 4 months ago
Hermes: Agent-Based Middleware for Mobile Computing
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
Flavio Corradini, Emanuela Merelli
CIKM
1999
Springer
14 years 3 months ago
Rule-Based Query Optimization, Revisited
We present the architecture and a performance assessment of an extensible query optimizer written in Venus. Venus is a general-purpose active-database rule language embedded in C+...
Lane Warshaw, Daniel P. Miranker
LREC
2008
93views Education» more  LREC 2008»
14 years 6 days ago
Towards a Glossary of Activities in the Ontology Engineering Field
The Semantic Web of the future will be characterized by using a very large number of ontologies embedded in ontology networks. It is important to provide strong methodological sup...
María del Carmen Suárez-Figueroa, As...
SCSC
2007
14 years 5 days ago
A graphical variant approach to object-oriented modeling of dynamic systems
Abstract— Graphical variant modeling refers to a novel approach to object-oriented modeling whereby a class overrides behavior inherited from a parent class by specifying variati...
Paul Kinnucan, Pieter J. Mosterman
SCANGIS
2003
14 years 4 days ago
Need for Context-Aware Topographic Maps in Mobile Devices
Recently, along with the breakthrough of the Internet and mobile environment, the development towards screen maps used as intelligent user interfaces appears to be emergent. This m...
Annu-Maaria Nivala, L. Tiina Sarjakoski