7557 search results - page 1419 / 1512 » Modeling Timed Concurrent Systems |
125
Voted
DBSEC
2009
15 years 2 months ago
2009
Abstract. We present a new access control mechanism for P2P networks with distributed enforcement, called P2P Access Control System (PACS). PACS enforces powerful access control mo...
132
click to vote
ISLPED
2010
ACM
15 years 1 months ago
2010
ACM
We have developed a system architecture, measuring and modeling techniques, and algorithms for on-line power and energy optimization and thermal management. The starting point for...
156
click to vote
GISCIENCE
2010
Springer
15 years 1 months ago
2010
Springer
The categorization of our environment into feature types is an essential prerequisite for cartography, geographic information retrieval, routing applications, spatial decision supp...
135
click to vote
HPCC
2010
Springer
15 years 1 months ago
2010
Springer
Managing the execution of scientific applications in a heterogeneous grid computing environment can be a daunting task, particularly for long running jobs. Increasing fault tolera...
HUC
2010
Springer
15 years 1 months ago
2010
Springer
An important question in behavioral epidemiology and public health is to understand how individual behavior is affected by illness and stress. Although changes in individual behav...