2573 search results - page 449 / 515 » Combinations of Modal Logics |
163
click to vote
ISM
2005
IEEE
15 years 10 months ago
2005
IEEE
In this paper we show how an interactive system can be distributed among several peer devices. By taking advantage of the current trend towards ambient intelligent environments, w...
141
click to vote
ISQED
2005
IEEE
15 years 9 months ago
2005
IEEE
This paper presents a methodology for accurate propagation of delay information through a gate for the purpose of static timing analysis (STA) in the presence of noise. Convention...
162
click to vote
ISQED
2005
IEEE
15 years 9 months ago
2005
IEEE
As technology continues to scale beyond 100nm, there is a significant increase in performance uncertainty of CMOS logic due to process and environmental variations. Traditional c...
124
click to vote
SP
2005
IEEE
15 years 9 months ago
2005
IEEE
We present a distributed algorithm for assembling a proof that a request satisfies an access-control policy expressed in a formal logic, in the tradition of Lampson et al. [16]. ...
151
click to vote
SSDBM
2005
IEEE
15 years 9 months ago
2005
IEEE
To discover knowledge or retrieve information from a relational database, a user often needs to find objects related to certain source objects. There are two main challenges in b...