5353 search results - page 859 / 1071 » Modelling Contexts in the Or-BAC Model |
198
click to vote
IEEEPACT
2006
IEEE
16 years 21 days ago
2006
IEEE
As chip multiprocessors (CMPs) become increasingly mainstream, architects have likewise become more interested in how best to share a cache hierarchy among multiple simultaneous t...
179
click to vote
HT
2006
ACM
16 years 19 days ago
2006
ACM
In recent years, tagging systems have become increasingly popular. These systems enable users to add keywords (i.e., “tags”) to Internet resources (e.g., web pages, images, vi...
199
click to vote
ICAC
2005
IEEE
16 years 8 days ago
2005
IEEE
Grid environments enable users to share non-dedicated resources that lack performance guarantees. This paper describes the design of application-centric middleware components to a...
187
click to vote
SG
2005
Springer
16 years 4 days ago
2005
Springer
Parametric design systems model a design as a constrained collection of schemata. Designers work in such systems at two levels: definition of schemata and constraints; and search w...
166
click to vote
ICCS
2004
Springer
16 years 1 days ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...