3256 search results - page 366 / 652 » Applications of Formal Methods to System Design and Verifica... |
181
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...
269
Voted
ISSS
2002
IEEE
15 years 11 months 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...
148
click to vote
ATAL
2005
Springer
16 years 3 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....
149
click to vote
WISER
2004
ACM
16 years 1 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...
183
click to vote
FASE
2004
Springer
16 years 19 hour 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...