Sciweavers

2501 search results - page 80 / 501
» Obligations and Their Interaction with Programs
Sort
View
WCRE
2000
IEEE
14 years 1 months ago
Designing an XML-based Exchange Format for Harmonia
In this paper we present our design for a program data exchange format for Harmonia, a framework for constructing language-sensitive interactive CASE tools. We discuss the various...
Marat Boshernitsan, Susan L. Graham
POPL
2000
ACM
14 years 1 months ago
A Type System for Dynamic Web Documents
Many interactive Web services use the CGI interface for communication with clients. They will dynamically create HTML documents that are presented to the client who then resumes t...
Anders Sandholm, Michael I. Schwartzbach
SIGSOFT
2007
ACM
14 years 9 months ago
Test suite prioritization by interaction coverage
Event-driven software (EDS) is a widely used class of software that takes sequences of events as input, changes state, and outputs new event sequences. Managing the size of tests ...
Renée C. Bryce, Atif M. Memon
VL
2008
IEEE
122views Visual Languages» more  VL 2008»
14 years 3 months ago
Designers' natural descriptions of interactive behaviors
While a designer’s focus used to be the design of non-interactive elements such as graphics or animations, today’s designers deal with various levels of interactivity such as ...
Sun Young Park, Brad A. Myers, Andrew J. Ko
ECOOP
2000
Springer
14 years 1 months ago
Distributed Asynchronous Collections: Abstractions for Publish/Subscribe Interaction
ions for Publish/Subscribe Interaction Patrick Th. Eugster1 , Rachid Guerraoui1 , and Joe Sventek2 1 Swiss Federal Institute of Technology, Lausanne 2 Agilent Laboratories Scotland...
Patrick Th. Eugster, Rachid Guerraoui, Joe Sventek