9227 search results - page 1753 / 1846 » Developing Use Cases from Organizational Modeling |
130
click to vote
MAM
2006
15 years 4 months ago
2006
Reconfigurable systems can offer the high spatial parallelism and fine-grained, bit-level resource control traditionally associated with hardware implementations, along with the f...
172
click to vote
TDSC
2008
15 years 4 months ago
2008
Specifying and managing access control policies is a challenging problem. We propose to develop formal verification techniques for access control policies to improve the current s...
112
click to vote
TOCS
2008
15 years 4 months ago
2008
We introduce external synchrony, a new model for local file I/O that provides the reliability and simplicity of synchronous I/O, yet also closely approximates the performance of a...
131
click to vote
CCR
2004
15 years 4 months ago
2004
This paper emphasizes the need for methodological frameworks for analysis and design of large scale networks which are independent of specific design innovations and their advocac...
162
click to vote
DEBU
2002
15 years 3 months ago
2002
Spatio-temporal databases store information about the positions of individual objects over time. In many applications however, such as traffic supervision or mobile communication ...