Sciweavers

475 search results - page 2 / 95
» Evaluating Distributional Properties of Tagsets
Sort
View
RTS
2006
176views more  RTS 2006»
13 years 5 months ago
Verifying distributed real-time properties of embedded systems via graph transformations and model checking
Component middleware provides dependable and efficient platforms that support key functional, and quality of service (QoS) needs of distributed real-time embedded (DRE) systems. C...
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt
ICDCS
2011
IEEE
12 years 4 months ago
Understanding the Network and User-Targeting Properties of Web Advertising Networks
—Advertising has become an integral and inseparable part of the World Wide Web. However, neither public auditing nor monitoring mechanisms still exist in this emerging area. In t...
Yong Wang, Daniel Burgener, Aleksandar Kuzmanovic,...
IFL
2004
Springer
131views Formal Methods» more  IFL 2004»
13 years 10 months ago
Exploiting Single-Assignment Properties to Optimize Message-Passing Programs by Code Transformations
The message-passing paradigm is now widely accepted and used mainly for inter-process communication in distributed memory parallel systems. However, one of its disadvantages is the...
Alfredo Cristóbal-Salas, Andrey Chernykh, E...
CEJCS
2011
80views more  CEJCS 2011»
12 years 5 months ago
Evaluating distributed real-time and embedded system test correctness using system execution traces
: Effective validation of distributed real-time and embedded (DRE) system quality-of-service (QoS) properties (e.g., event prioritization, latency, and throughput) requires testin...
James H. Hill, Pooja Varshneya, Douglas C. Schmidt
ECIS
2001
13 years 6 months ago
Discursive Evaluation in a Distributed Learning Community
This paper reports on a distance education project where a threaded discussion board was used for interaction amongst students and teachers. The experiences from the first year of...
Lars Svensson