Sciweavers

1164 search results - page 131 / 233
» Case Studies in Event-Driven Control
Sort
View
RTCSA
2008
IEEE
15 years 10 months ago
Verification of COMDES-II Systems Using UPPAAL with Model Transformation
COMDES-II is a component-based software framework intended for Model Integrated Computing (MIC) of embedded control systems with hard real-time constraints. We present a transforma...
Xu Ke, Paul Pettersson, Krzysztof Sierszecki, Chri...
SEFM
2007
IEEE
15 years 10 months ago
Retrenchment and the Atomicity Pattern
The issues surrounding the question of atomicity, both in the past and nowadays, are briefly reviewed, and a picture of an ACID (atomic, consistent, isolated, durable) transactio...
Richard Banach, Czeslaw Jeske, Anthony Hall, Susan...
HASE
2007
IEEE
15 years 10 months ago
Analytic Model for Web Anomalies Classification
In this paper, an analytic technique is proposed to improve the dynamic web application quality and reliability. The technique integrates orthogonal defect classification (ODC), a...
Nasser Alaeddine, Jeff Tian
FCT
2007
Springer
15 years 10 months ago
A Novel Information Transmission Problem and Its Optimal Solution
We propose and study a new information transmission problem motivated by today’s internet. A real number, perhaps representing control information in a network, is encoded using...
Eric Bach, Jin-yi Cai
ECLIPSE
2006
ACM
15 years 10 months ago
Fine-grained processing of CVS archives with APFEL
In this paper, we present the APFEL plug-in that collects finegrained changes from version archives in a database. APFEL is built upon the Eclipse infrastructure for CVS and Java....
Thomas Zimmermann