Sciweavers

3168 search results - page 99 / 634
» Computing Event Dependencies in System Designs and Programs
Sort
View
ECOOPW
1999
Springer
15 years 9 months ago
An Aspect-Oriented Design Framework for Concurrent Systems
Abstract. In Aspect-Oriented Programming we decompose a problem into a number of functional components as well as a number of aspects and then we compose these components and aspec...
Constantinos Constantinides, Atef Bader, Tzilla El...
ICFP
2005
ACM
16 years 4 months ago
Combining programming with theorem proving
Applied Type System (ATS) is recently proposed as a framework for designing and formalizing (advanced) type systems in support of practical programming. In ATS, the definition of ...
Chiyan Chen, Hongwei Xi
ACMSE
2004
ACM
15 years 10 months ago
Specification-driven automated testing of GUI-based Java programs
This paper presents a specification-driven approach to test automation for GUI-based JAVA programs as an alternative to the use of capture/replay. The NetBeans Jemmy library provi...
Yanhong Sun, Edward L. Jones
DUX
2007
15 years 8 months ago
180 x 120: designing alternate location systems
Using 180 RFID tags to track and plot locations over time, guests to an event at the San Francisco Museum of Modern Art (SFMOMA) collectively constructed a public visualization of...
Eric Paulos, Anthony Burke, Tom Jenkins, Karen Mar...
CHI
2004
ACM
16 years 5 months ago
Design of an audience voting system for the Olympic games
In this paper we describe an audience voting system which can be used for all kinds of judged sport events like diving, synchronised swimming, gymnastics, and ice-skating. The bas...
Ramon Schalleck, Marcin Bober, Heiko Drewes