1087 search results - page 36 / 218 » Achieving Distributed Control through Model Checking |
IUI
2000
ACM
14 years 4 days ago
2000
ACM
This article is about applications that can be customized or extended through their own user interface. This is achieved by the interface’s ability to interpret users’ non-lit...
CRV
2005
IEEE
14 years 1 months ago
2005
IEEE
This paper introduces a novel camera mouse driven by 3D model based visual face tracking. While camera becomes standard configuration for personal computer(PC) and computer speed...
ACSD
2006
IEEE
14 years 1 months ago
2006
IEEE
Recently, the formal approach of I–Systems has been newly hed through an abstract axiomatic system where events in system components are solely derived and defined from their b...
JUCS
2010
13 years 2 months ago
2010
: All processes of life are controlled by networks of interacting biochemical components. The purpose of modelling these networks is manifold. From a theoretical point of view it a...
C3S2E
2009
ACM
13 years 11 months ago
2009
ACM
This paper proposes a security analysis framework for dynamic web applications. A reverse engineering process is performed over a dynamic web application to extract a rolebased ac...