5639 search results - page 901 / 1128 » Timed Abstract Non-interference |
125
click to vote
COORDINATION
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. Reo is a channel-based coordination model whose operational semantics is given by Constraint Automata (CA). Quantitative Constraint Automata extend CA (and hence, Reo) wi...
124
click to vote
GLOBECOM
2009
IEEE
15 years 6 months ago
2009
IEEE
Abstract—In this paper, we present a collision-free asynchronous multi-channel access protocol for Ad Hoc wireless networks using a single transceiver. Our protocol, dubbed AMMAC...
139
click to vote
ARC
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Few of the benefits of exploiting partially reconfigurable devices are power consumption reduction, cost reduction, and customized performance improvement. To obtain thes...
135
click to vote
DLOG
2007
15 years 5 months ago
2007
Abstract. This paper presents a tableau approach for deciding description logics outside the scope of OWL DL and current state-of-the-art tableau-based description logic systems. I...
133
click to vote
AIMSA
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Constraint Satisfaction has been widely used to model static combinatorial problems. However, many AI problems are dynamic and take place in a distributed environment, i....