2911 search results - page 328 / 583 » A Theory of Expressiveness in Mechanisms |
CCGRID
2006
IEEE
15 years 8 months ago
2006
IEEE
Grid technology enables access and sharing of data and computational resources across administrative domains. Thus, it is important to provide a uniform access and management mech...
111
click to vote
HICSS
2006
IEEE
15 years 8 months ago
2006
IEEE
This paper presents technical foundation, roadmap and initial results of the IDIOM project (Information Diffusion across Interactive Online Media). Information spreads rapidly acr...
102
click to vote
IPPS
2006
IEEE
15 years 8 months ago
2006
IEEE
Violations of a number of common safety properties of multithreaded programs–such as atomicity and absence of dataraces–cannot be observed by looking at the linear execution t...
CSB
2005
IEEE
15 years 7 months ago
2005
IEEE
Riboswitches are RNA genetic control elements that were recently discovered in living cells. To regulate gene expression, they utilize a unique mechanism whereby small molecules b...
143
click to vote
WORDS
2005
IEEE
15 years 7 months ago
2005
IEEE
This paper presents a framework for verifying the access control requirements of real-time application systems such as workflow management systems and active databases. The tempor...