5639 search results - page 290 / 1128 » Timed Abstract Non-interference |
111
click to vote
ICALP
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. The HalpernShoham logic is a modal logic of time intervals. Some eort has been put in last ten years to classify fragments of this beautiful logic with respect to decid...
129
Voted
DLT
2010
15 years 5 months ago
2010
Abstract. We prove that uniform and semi-uniform families of P systems with active membranes using only communication and nonelementary division rules are not computationally unive...
113
Voted
WALCOM
2008
IEEE
15 years 5 months ago
2008
IEEE
Abstract. Finding a maximum acyclic subgraph is on the list of problems that seem to be hard to tackle from a parameterized perspective. We develop two quite efficient algorithms (...
124
Voted
BNCOD
2001
15 years 5 months ago
2001
Abstract. Integrating, cleaning and analyzing data from heterogeneous sources is often complicated by the large amounts of data and its physical distribution which can result in po...
130
click to vote
MCU
2001
15 years 5 months ago
2001
Abstract. A direct universal extended H system receives as input the coding of an extended H system with double splicing and simulates it. It is the first time that a direct constr...