Sciweavers

1106 search results - page 89 / 222
» Software That Can Think and Do
Sort
View
PEPM
2007
ACM
16 years 18 days ago
The semantics of graphical languages
Visual notations are pervasive in circuit design, control systems, and increasingly in mainstream programming environments. Yet many of the foundational advances in programming la...
Stephan Ellner, Walid Taha
CSMR
2006
IEEE
16 years 16 days ago
A Metric of Confidence in Requirements Gathered from Legacy Systems: Two Industrial Case Studies
It is known that well over 50% of replacement projects fail. Requirements gathering go someway to contributing to this statistic; if the requirements we gather for the new system ...
James Marchant, Christos Tjortjis, Michael Turega
QSIC
2006
IEEE
16 years 15 days ago
Static Slicing for Pervasive Programs
Pervasive programs should be context-aware, which means that program functions should react according to changing environmental conditions. Slicing, as an important class of code ...
Heng Lu, W. K. Chan, T. H. Tse
COMPSAC
2005
IEEE
16 years 3 days ago
A Probabilistic Approach to the Anxious Home for Activity Monitoring
This paper describes an approach to representing normal activities in a smart house based on the concept of anxiety. Anxiety is computed as a function of time and is kept low by i...
Geoff A. W. West, Stewart Greenhill, Svetha Venkat...
VSTTE
2005
Springer
15 years 12 months ago
Reasoning about Object Structures Using Ownership
Abstract. Many well-established concepts of object-oriented programming work for individual objects, but do not support object structures. The development of a verifying compiler r...
Peter Müller