Sciweavers

1831 search results - page 222 / 367
» Time Constraints in Workflow Systems
Sort
View
MSR
2006
ACM
15 years 10 months ago
Examining the evolution of code comments in PostgreSQL
It is common, especially in large software systems, for developers to change code without updating its associated comments due to their unfamiliarity with the code or due to time ...
Zhen Ming Jiang, Ahmed E. Hassan
137
Voted
IFIP
2004
Springer
15 years 10 months ago
Dynamic Typing with Dependent Types
Dependent type systems are promising tools programmers can use to increase the reliability and security of their programs. Unfortunately, dependently-typed programming languages re...
Xinming Ou, Gang Tan, Yitzhak Mandelbaum, David Wa...
111
Voted
MHCI
2004
Springer
15 years 10 months ago
Mobile Support for Team-Based Field Surveys
This paper describes a study of the use of multimedia networked location-aware mobile computers to support team-based survey-oriented fieldwork. Existing systems do not provide ful...
Malcolm Hall, Philip D. Gray
ECRTS
2000
IEEE
15 years 9 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...
RTAS
1995
IEEE
15 years 8 months ago
Design and evaluation of a window-consistent replication service
—Real-time applications typically operate under strict timing and dependability constraints. Although traditional data replication protocols provide fault tolerance, real-time gu...
Ashish Mehra, Jennifer Rexford, Hock-Siong Ang, Fa...