3256 search results - page 366 / 652 » Applications of Formal Methods to System Design and Verifica... |
205
click to vote
SOSP
1993
ACM
15 years 8 months ago
1993
ACM
Inter-process communication (ipc) has to be fast and e ective, otherwise programmers will not use remote procedure calls(RPC),multithreadingand multitasking adequately. Thus ipc p...
302
click to vote
ISSS
2002
IEEE
16 years 6 days ago
2002
IEEE
This paper addresses the problem of mapping an application, which is highly dynamic in the future, onto a heterogeneous multiprocessor platform in an energy efficient way. A two-p...
173
click to vote
ATAL
2005
Springer
16 years 23 days ago
2005
Springer
We introduce MAGENTA’s commercial multi-agent systems technology, and illustrate its practical use by describing a field-tested application in the area of logistics/scheduling....
172
click to vote
WISER
2004
ACM
16 years 21 days ago
2004
ACM
Many hardware/software co-design models have been proposed [7, 2, 5, 6] that attempt to address problems in the hardware/software interface, in partitioning the system between har...
209
click to vote
FASE
2004
Springer
16 years 20 days ago
2004
Springer
Abstract. Organizations use Role-Based Access Control (RBAC) to protect computer-based resources from unauthorized access. There has been considerable work on formally specifying R...