5639 search results - page 215 / 1128 » Timed Abstract Non-interference |
125
click to vote
CSCLP
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Overload checking, forbidden regions, edge finding, and notfirst/not-last detection are well-known propagation rules to prune the start times of activities which have t...
123
Voted
QEST
2010
IEEE
15 years 14 days ago
2010
IEEE
Abstract--In this paper we study a broad class of semiMarkovian queues introduced by Sengupta. This class contains many classical queues such as the GI/M/1 queue, SM/MAP/1 queue an...
172
Voted
PERVASIVE
2011
Springer
14 years 5 months ago
2011
Springer
Abstract. Accurate and fine-grained prediction of future user location and geographical profile has interesting and promising applications including targeted content service, adv...
94
Voted
COGSCI
2004
15 years 2 months ago
2004
The fundamental relations that underlie cognitive comparisons--"same" and "different"--can be demultiple levels of abstraction, which vary in relational comple...
103
Voted
WISE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. In this paper we propose a constraint based declarative approach for Web services composition and monitoring problem. Our apllows user to build the abstract composition b...