127 search results - page 20 / 26 » Object Composition in Scenario-Based Programming |
PLDI
2005
ACM
14 years 1 months ago
2005
ACM
We introduce a language and system that supports definition and composition of complex run-time security policies for Java applications. Our policies are comprised of two sorts o...
MSCS
1998
13 years 7 months ago
1998
The context of this article is the program to develop monoidal bicategories with a feedback operation as an algebra of processes, with applications to concurrency theory. The obje...
IFIP
2010
Springer
13 years 11 months ago
2010
Springer
: Robotic microhandling is disturbed by the adhesion phenomenon between the micro-object and the grippers. This phenomenon is directly linked to both the object and the gripper sur...
ECOOP
1994
Springer
13 years 11 months ago
1994
Springer
Real-time programs are, in general, difficult to design and verify. The inheritance mechanism can be useful in reusing well-defined and verified real-time programs. In application...
ICMCS
2006
IEEE
14 years 1 months ago
2006
IEEE
We propose a novel scheme to detect human actions in active video. Active videos such as movies or sports broadcasting are taken purposively by “clever” photographers. They ar...