34181 search results - page 264 / 6837 » Computer system |
155
click to vote
ACSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
Secure enterprise programming is a difficult and tedious task. Programmers need tools that support t levels of abstraction and that track all the components that participate in di...
160
click to vote
LICS
2009
IEEE
16 years 2 months ago
2009
IEEE
—One-counter processes are pushdown systems over a singleton stack alphabet (plus a stack-bottom symbol). We study the complexity of two closely related verification problems ov...
178
click to vote
MOC
2002
15 years 7 months ago
2002
Viscous profiles of shock waves in systems of conservation laws can be viewed as heteroclinic orbits in associated systems of ordinary differential equations (ODE). In the case of ...
269
click to vote
ICIAP
2005
ACM
16 years 7 months ago
2005
ACM
We present an uncalibrated projector-camera system in which the information displayed onto a planar screen can be interactively warped according to an arbitrary planar homography. ...
192
click to vote
SEFM
2007
IEEE
16 years 1 months ago
2007
IEEE
We give a formal account of a calculus for modeling service-based systems, suitable to describe both service composition (orchestration) and the protocol that services run when in...