Sciweavers

3971 search results - page 348 / 795
» On the Use of Properties in Java Applications
Sort
View
ECRTS
2000
IEEE
15 years 11 months ago
Towards validated real-time software
We present a tool for the design and validation of embedded real-time applications. The tool integrates two approaches, the use of the synchronous programming language ESTEREL for...
Valérie Bertin, Michel Poize, Jacques Pulou...
DATE
2004
IEEE
114views Hardware» more  DATE 2004»
15 years 10 months ago
Workload Characterization Model for Tasks with Variable Execution Demand
The analysis of real-time properties of an embedded system usually relies on the worst-case execution times (WCET) of the tasks to be executed. In contrast to that, in real world ...
Alexander Maxiaguine, Simon Künzli, Lothar Th...
DEXAW
1995
IEEE
93views Database» more  DEXAW 1995»
15 years 10 months ago
Meta Modeling for End User Computing
Inherent constraints play an important role in the semantic Xplain model. These constraints enable us to represent certain real world knowledge once for subsequent use in several ...
J. H. ter Bekke
INTERACT
2003
15 years 8 months ago
The YoYo: A Handheld Device Combining Elastic and Isotonic Input
: We present a new input device for controlling three-dimensional graphics applications: the YoYo. The device consists of three elastically connected rings in a row, which can be m...
Andreas Simon, Bernd Froehlich
ACSW
2006
15 years 8 months ago
A simplified approach to web service development
Most languages used for developing web services and clients exhibit properties which make calling remote functions across a network a non-trivial task. The type systems used by ob...
Peter M. Kelly, Paul D. Coddington, Andrew L. Wend...