1760 search results - page 225 / 352 » A System to Mark Programs Automatically |
135
Voted
SIGSOFT
2007
ACM
16 years 4 months ago
2007
ACM
In this paper we propose a behavioural model, namely the Extended Modal Labeled Transition Systems, as a basis for the formalization of the different notions of variability usuall...
120
Voted
IISWC
2008
IEEE
15 years 10 months ago
2008
IEEE
—A whiteboard that automatically identifies drawn strokes, interprets them in context, and augments drawn images with computational results, such as solutions to mathematical eq...
149
click to vote
IWIA
2005
IEEE
15 years 9 months ago
2005
IEEE
A system for enforcing messaging security policies for both store and forward and streaming messaging protocols on COTS operating system platforms is described. Messaging protocol...
125
Voted
UIST
1999
ACM
15 years 7 months ago
1999
ACM
This paper describes a novel physical icon [3] or “phicon-” based system that can be programmed to issue a range of commands about what the user wishes to do with handdrawn wh...
124
Voted
RTSS
2007
IEEE
15 years 9 months ago
2007
IEEE
Creating robust real-time embedded software is critical in combining the physical world with computing, such as in consumer electronics or robotics. One challenge is the complexit...