2346 search results - page 437 / 470 » Hierarchical State Machines |
120
click to vote
SIGCOMM
1991
ACM
15 years 5 months ago
1991
ACM
We consider the problem of providing network access to hosts whose physical location changes with time. Such hosts cannot depend on traditional forms of network connectivity and r...
113
click to vote
CCS
2008
ACM
15 years 3 months ago
2008
ACM
Attribute staleness arises due to the physical distribution of authorization information, decision and enforcement points. This is a fundamental problem in virtually any secure di...
122
click to vote
ECOOP
2008
Springer
15 years 3 months ago
2008
Springer
A component revolution is underway, bringing developers improved productivity and opportunities for code reuse. However, whereas existing tools work well for builders of desktop ap...
143
click to vote
MBEES
2008
15 years 3 months ago
2008
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
118
click to vote
HPDC
2010
IEEE
15 years 2 months ago
2010
IEEE
Clusters are mostly used through Resources Management Systems (RMS) with a static allocation of resources for a bounded amount of time. Those approaches are known to be insufficie...