Sciweavers

674 search results - page 45 / 135
» Toward Self-Stabilizing Operating Systems
Sort
View
SEMWEB
2010
Springer
15 years 1 months ago
Auto-experimentation of KDD Workflows Based on Ontological Planning
One of the problems of Knowledge Discovery in Databases (KDD) is the lack of user support for solving KDD problems. Current Data Mining (DM) systems enable the user to manually des...
Floarea Serban
141
Voted
GLOBECOM
2006
IEEE
15 years 9 months ago
Integrated Data Delivery and Interest Dissemination Techniques for Wireless Sensor Networks
— The paper presents IRIS, an Integrated Routing and Interest dissemination System for wireless sensor networks. The proposed protocols are designed to work under very low duty c...
Michele Mastrogiovanni, Chiara Petrioli, Michele R...
ECOOP
2007
Springer
15 years 9 months ago
Towards correct evolution of components using VPA-based aspects
Abstract. Interaction protocols are a popular means to construct correct component-based systems. Aspects that modify such protocols are interesting in this context because they su...
Dong Ha Nguyen, Mario Südholt
DAC
2008
ACM
15 years 5 months ago
IntellBatt: towards smarter battery design
Battery lifetime and safety are primary concerns in the design of battery operated systems. Lifetime management is typically supervised by the system via battery-aware task schedu...
Suman Kalyan Mandal, Praveen Bhojwani, Saraju P. M...
149
Voted
HCI
2009
15 years 1 months ago
High-Fidelity Prototyping of Interactive Systems Can Be Formal Too
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
Philippe A. Palanque, Jean-François Ladry, ...