1965 search results - page 79 / 393 » On the analysis of interacting pushdown systems |
CASSIS
2005
Springer
14 years 2 months ago
2005
Springer
Abstract. We study secure information flow in a stack based Typed Assembly Language (TAL). We define a TAL with an execution stack and establish the soundness of its type system ...
JPDC
2008
13 years 8 months ago
2008
The problem of global state observation is fundamental to distributed systems and to the analysis of data streams. Many interactions in distributed systems can be analyzed in term...
CSWWS
2006
14 years 14 days ago
2006
Bioinformaticians are accustomed to going through analysis steps, in which they employ several data sources, like protein sequence and protein interaction databases, to carry out t...
HCI
2009
13 years 6 months ago
2009
This paper presents a system for overlaying 3D GIS data information such as 3D buildings onto a 2D physical urban map. We propose a map recognition framework by analysis of distrib...
TABLETOP
2008
IEEE
14 years 3 months ago
2008
IEEE
To better understand the potential for horizontal surfaces in day-to-day work, we conducted a field study. We collected and analyzed over a month of use data from eight participan...