4311 search results - page 178 / 863 » Code Generation for Distributed Systems |
114
Voted
ICSE
2003
IEEE-ACM
16 years 2 months ago
2003
IEEE-ACM
Some "non-' or "extra-functional" features, such as reliability, security, and tracing, defy modularization mechanisms in programming languages. This makes suc...
112
click to vote
ESORICS
2007
Springer
15 years 6 months ago
2007
Springer
We present a new technique for generating a formal proof that an access request satisfies accesscontrol policy, for use in logic-based access-control frameworks. Our approach is t...
122
Voted
ENTCS
2007
15 years 2 months ago
2007
Formal sequentialization is introduced as a rewriting process for the reduction of parallelism and internal communication statements of distributed imperative programs. It constru...
136
click to vote
HASE
2008
IEEE
15 years 8 months ago
2008
IEEE
Web applications often use dynamic pages that interact with each other by accessing shared objects, e.g., session objects. Interactions between dynamic pages need to be carefully ...
134
click to vote
MVA
2002
15 years 1 months ago
2002
This paper describes a robust tracking algorithm for real-time, video based motion capture systems. Conventional motion capture systems are unable to capture motion data in real t...