Sciweavers

4761 search results - page 819 / 953
» Performance of Protocols
Sort
View
DATE
2008
IEEE
163views Hardware» more  DATE 2008»
14 years 11 months ago
A Simulation Methodology for Worst-Case Response Time Estimation of Distributed Real-Time Systems
In this paper, we propose a simulation-based methodology for worst-case response time estimation of distributed realtime systems. Schedulability analysis produces pessimistic uppe...
Soheil Samii, Sergiu Rafiliu, Petru Eles, Zebo Pen...
ECAIW
2008
Springer
14 years 11 months ago
Home Care Personalisation with Individual Intervention Plans
The adoption of general intervention plans (guidelines) according to the particular circumstances of both the patient and the doctor's diagnostic is a very challenging task. A...
David Isern, Antonio Moreno, Gianfranco Pedone, Da...
LREC
2010
159views Education» more  LREC 2010»
14 years 11 months ago
Bilingual Lexicon Induction: Effortless Evaluation of Word Alignment Tools and Production of Resources for Improbable Language P
In this paper, we present a simple protocol to evaluate word aligners on bilingual lexicon induction tasks from parallel corpora. Rather than resorting to gold standards, it relie...
Adrien Lardilleux, Julien Gosme, Yves Lepage
LREC
2010
135views Education» more  LREC 2010»
14 years 11 months ago
Language Resource Management System for Asian WordNet Collaboration and Its Web Service Application
This paper presents the language resource management system for the development and dissemination of Asian WordNet (AWN) and its web service application. We develop the platform t...
Virach Sornlertlamvanich, Thatsanee Charoenporn, H...
FORTE
2008
14 years 11 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...