5630 search results - page 155 / 1126 » Computability in Specification |
142
click to vote
ESORICS
2002
Springer
16 years 6 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...
174
click to vote
SEUS
2009
IEEE
16 years 1 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...
169
click to vote
MUE
2008
IEEE
16 years 29 days 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...
182
click to vote
ASWEC
2007
IEEE
16 years 28 days 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...
201
click to vote
WORDS
2005
IEEE
16 years 4 days 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...