2501 search results - page 108 / 501 » Obligations and Their Interaction with Programs |
120
click to vote
CSFW
2006
IEEE
15 years 10 months ago
2006
IEEE
The problem of information flow in multithreaded programs remains an important open challenge. Existing approaches to specifying and enforcing information-flow security often su...
118
click to vote
KBSE
2006
IEEE
15 years 10 months ago
2006
IEEE
The aspect-oriented paradigm allows weaving aspects in different join points of a program. Aspects can modify object fields and method control flow, thus possibly introducing subt...
158
click to vote
COCO
2005
Springer
15 years 10 months ago
2005
Springer
Refereed games are interactive proof systems with two competing provers: one that tries to convince the verifier to accept and another that tries to convince the verifier to rej...
159
click to vote
UM
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. This research proposes an adaptive mechanism of information visualizing that responds to context changes in knowledge-intensive work. A framework of Context-Sensitive Vis...
PCM
2004
Springer
15 years 9 months ago
2004
Springer
This paper presents a new computer-based teleconference system. In order to build the system, we modified VNC(Virtual Network Computing) program and implemented Face mouse system....