Sciweavers

626 search results - page 40 / 126
» Scheduling as Rule Composition
Sort
View
DC
2007
13 years 7 months ago
Randomized self-stabilizing and space optimal leader election under arbitrary scheduler on rings
We present a randomizedself-stabilizing leaderelection protocol and a randomizedself-stabilizing token circulation protocol under an arbitrary scheduler on anonymous and unidirect...
Joffroy Beauquier, Maria Gradinariu, Colette Johne...
OTM
2005
Springer
14 years 1 months ago
QoS-Aware Composition of Web Services: An Evaluation of Selection Algorithms
A composition arranges available services resulting in a defined flow of executions. Before the composition is carried out, a discovery service identifies candidate services. Th...
Michael C. Jaeger, Gero Mühl, Sebastian Golze
HYBRID
2007
Springer
14 years 2 months ago
Automata Based Interfaces for Control and Scheduling
We propose the use of formal languages of infinite words over the alphabet of task identifiers as an interface between control designs and software implementations. We argue that...
Gera Weiss, Rajeev Alur
WORDS
2002
IEEE
14 years 22 days ago
Schedulability Analysis of an Event-Based Real-Time Protocol Framework
This paper presents a method to analyze the timing behavior of an event-based real-time protocol composition framework. The framework, called RT-Appia, allows the development and ...
João Rodrigues, João Ventura, Lu&iac...
ICML
2002
IEEE
14 years 8 months ago
IEMS - The Intelligent Email Sorter
Classification of email is an important everyday task for a large and growing number of users. This paper describes the machine learning approaches underlying the i-ems (Intellige...
Elisabeth Crawford, Judy Kay, Eric McCreath