Sciweavers

1938 search results - page 239 / 388
» Dependable Software
Sort
View
NCA
2003
IEEE
14 years 2 months ago
Adaptive Resource Selection for Grid-Enabled Network Services
Due to the popularity of high-speed networks and advances in packaging and interface technologies, there has been significant efforts for providing high performance applications a...
Byoung-Dai Lee, Jon B. Weissman
WORDS
2003
IEEE
14 years 2 months ago
Timing Analysis of Optimised Code
Timing analysis is a crucial test for dependable hard real-time systems (DHRTS). The calculation of the worst-case execution time (WCET) is mandatory. As modern compilers are capa...
Raimund Kirner, Peter P. Puschner
WORDS
2003
IEEE
14 years 2 months ago
Using Co-ordinated Atomic Actions for Building Complex Web Applications: A Learning Experience
This paper discusses some of the typical characteristics of modern Web applications and analyses some of the problems the developers of such systems have to face. One of such type...
Avelino F. Zorzo, Panayiotis Periorellis, Alexande...
GRAPHITE
2003
ACM
14 years 2 months ago
MagicMouse: an inexpensive 6-degree-of-freedom mouse
An inexpensive computer input device was developed that allows the user to operate within both 2D and 3D environments by simply moving and rotating their fist. Position and rotati...
Eric Woods, Paul Mason, Mark Billinghurst
FMCO
2003
Springer
123views Formal Methods» more  FMCO 2003»
14 years 2 months ago
Machine Function Based Control Code Algebras
Abstract. Machine functions have been introduced by Earley and Sturgis in [6] in order to provide a mathematical foundation of the use of the T-diagrams proposed by Bratman in [5]....
Jan A. Bergstra