1128 search results - page 74 / 226 » Little Engines of Proof |
EUROMICRO
1999
IEEE
15 years 2 months ago
1999
IEEE
This paper proposes and evaluates error detection and recovery mechanisms suitable for embedded systems. The purpose of these mechanisms is to provide detection of and recovery fr...
75
Voted
WACC
1999
ACM
15 years 2 months ago
1999
ACM
Temporal workflow management is important for processes that are time-driven. Claim handling, which requires the documentation, diagnosis, and resolution of customer claims due to...
CSMR
1998
IEEE
15 years 1 months ago
1998
IEEE
AbstractA large body of research in the measurement of software complexity has been focused on imperative programs, but little eort has been made for logic programs. In this paper,...
UIST
1998
ACM
15 years 1 months ago
1998
ACM
This paper describes a programming-by-demonstration system, called Internet Scrapbook, which allows users with little programming skill to automate repetitive browsing tasks. With...
APSEC
1996
IEEE
15 years 1 months ago
1996
IEEE
Nowadays, for GUI application development, a number of interface builders make possible for the user to create user interfaces easily and UIMSs help to specify and design user int...