7681 search results - page 129 / 1537 » Typed Membrane Systems |
172
click to vote
WCRE
2005
IEEE
16 years 14 days ago
2005
IEEE
— Chuck is a new code browser that allows navigation of a code base along semantic structures, such as data-flow and higher-order control-flow relationships. Employing the fast...
186
click to vote
WACV
2002
IEEE
15 years 11 months ago
2002
IEEE
We propose a non-intrusive eye tracking system intended for the use of everyday gaze typing using web cameras. We argue that high precision in gaze tracking is not needed for on-s...
188
click to vote
TACS
2001
Springer
15 years 11 months ago
2001
Springer
We propose the πD -calculus, a process calculus that can flexibly model fine-grained control of resource access in distributed computation, with a type system that statically pr...
147
click to vote
IFIP
1998
Springer
15 years 11 months ago
1998
Springer
We present a distributed algorithm animation system called Catai (for Concurrent Algorithms and data Types Animation over the Internet). Among the features of this system are a lo...
157
click to vote
TAPSOFT
1997
Springer
15 years 11 months ago
1997
Springer
This paper presents a type system which guarantees that well-typed programs in a procedural programming language satisfy a noninterference security property. With all program input...