5630 search results - page 155 / 1126 » Computability in Specification |
120
click to vote
ESORICS
2002
Springer
16 years 4 months ago
2002
Springer
In recent times information flow and non-interference have become very popular concepts for expressing both integrity and privacy properties. We present the first general definitio...
133
click to vote
SEUS
2009
IEEE
15 years 11 months ago
2009
IEEE
Publish-subscribe-query information broker middleware offers great promise to users of pervasive computing systems requiring access to information. However, users of publish-subscr...
134
click to vote
MUE
2008
IEEE
15 years 11 months ago
2008
IEEE
In this paper we propose Rank-Based Broadcast (RBB) algorithm using High Order Markov Chain (HOMC) with weight values in mobile p2p ad-hoc networks (MOPNET) for ubiquitous. RBB us...
152
click to vote
ASWEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Service Oriented Computing (SOC) is a paradigm for building new software applications from existing loosely-coupled services. During service composition, services available to pla...
157
click to vote
WORDS
2005
IEEE
15 years 10 months ago
2005
IEEE
: The development of real-time systems that are distributed over a wide area is a significant problem that has challenged researchers for many years. Such systems require precise t...