175 search results - page 34 / 35 » Implementing a Generic Component-Based Framework for Tele-Co... |
82
Voted
SIGOPSE
2000
ACM
15 years 3 months ago
2000
ACM
Recently there has been a renewed interest in the application of economic models to the management of computational resources. Most of this interest is focused on pricing models f...
122
click to vote
COMSNETS
2012
13 years 6 months ago
2012
—Virtualized cloud-based services can take advantage of statistical multiplexing across applications to yield significant cost savings to the operator. However, achieving simila...
98
Voted
SIGSOFT
2008
ACM
15 years 11 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
102
Voted
ICCAD
2002
IEEE
15 years 7 months ago
2002
IEEE
In this survey, we outline basic SAT- and ATPGprocedures as well as their applications in formal hardware verification. We attempt to give the reader a trace trough literature and...
ACSAC
2009
IEEE
15 years 5 months ago
2009
IEEE
—Access control models describe frameworks that dictate how subjects (e.g. users) access resources. In the Role-Based Access Control (RBAC) model access to resources is based on ...