1411 search results - page 230 / 283 » Interactive Coding for Interactive Proofs |
ECOOPW
1999
Springer
15 years 2 months ago
1999
Springer
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...
147
click to vote
ESEC
1999
Springer
15 years 2 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
FGR
1998
IEEE
15 years 2 months ago
1998
IEEE
Automated recognition of facial expression is an important addition to computer vision research because of its relevance to the study of psychological phenomena and the developmen...
OOPSLA
1999
Springer
15 years 2 months ago
1999
Springer
The proliferation of the Internet is fueling the development of mobile computing environments in which mobile code is executed on remote sites. In such environments, the end user ...
EUROMICRO
1997
IEEE
15 years 1 months ago
1997
IEEE
In this paper we present a security framework for executing foreign programs, called helpers, on a Pocket Companion: a wireless hand-held computer. A helper program as proposed is...