529 search results - page 97 / 106 » Causal Time Calculus |
IJISEC
2007
13 years 7 months ago
2007
This paper presents a language in which information flow is securely controlled by a type system, yet the security class of data can vary dynamically. Information flow policies ...
TSP
2008
13 years 7 months ago
2008
Underwater acoustic localization usually relies on time of arrival (ToA) measurements, which are then converted into range estimates. However, the water medium is inhomogeneous and...
ICC
2009
IEEE
13 years 5 months ago
2009
IEEE
Abstract This paper proposes an analytical method to evaluate the delay violation probability of traffic flows with statistical Quality-of-Service (QoS) guarantees in a Generalize...
MAGS
2010
13 years 2 months ago
2010
Community is a common phenomenon in natural ecosystems, human societies as well as artificial multi-agent systems such as those in web and Internet based applications. In many sel...
ECAI
2010
Springer
13 years 8 months ago
2010
Springer
Abstract. Interval temporal logics formalize reasoning about interval structures over (usually) linearly ordered domains, where time intervals are the primitive ontological entitie...