894 search results - page 144 / 179 » Secure Implementation of Channel Abstractions |
TCAD
2008
13 years 7 months ago
2008
Due to the increasing abstraction gap between the initial system model and a final implementation, the verification of the respective models against each other is a formidable task...
CN
2004
13 years 7 months ago
2004
This work deals with reconfigurable control functions and protocols for supporting mobile computing applications in heterogeneous wireless systems like cellular networks and WLANs...
SOFTWARE
2002
13 years 7 months ago
2002
certain kinds of abstraction that modern operating systems generally include and seek a design that maps directly onto the features that modern hardware implementations provide; ve...
ECOOPW
1999
Springer
14 years 13 hour ago
1999
Springer
Extensible systems, such as Java or the SPIN extensible operating system, allow for units of code, or extensions, to be added to a running system in almost arbitrary fashion. Exte...
APWEB
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. Information sharing on distributed collaboration usually occurs in broad, highly dynamic network-based environments, and formally accessing the resources in a secure mann...