Sciweavers

2251 search results - page 44 / 451
» Specification and Implementation Problems for C
Sort
View
DLOG
2003
15 years 3 months ago
Implementing Matching in ALE--First Results
Matching problems in Description Logics are theoretically well understood, with a variety of algorithms available for different DLs. Nevertheless, still no implementation of a ge...
Sebastian Brandt
ANCS
2008
ACM
15 years 4 months ago
Implementing an OpenFlow switch on the NetFPGA platform
We describe the implementation of an OpenFlow Switch on the NetFPGA platform. OpenFlow is a way to deploy experimental or new protocols in networks that carry production traffic. ...
Jad Naous, David Erickson, G. Adam Covington, Guid...
HICSS
2003
IEEE
115views Biometrics» more  HICSS 2003»
15 years 7 months ago
Design and Implementation of a Bridge between CORBA's Notification Service and the Java Message Service
Messaging plays a central role in the development of distributed object-oriented systems. It is supported by the specification of the Java Message Service (JMS) and CORBA’s Noti...
Markus Aleksy, Martin Schader, Alexander Schnell
ICSM
1996
IEEE
15 years 6 months ago
Preprocessors from an Abstract Point of View
It is well known that the extensive use of preprocessors can lead to serious maintenance problems. However, these tools are still heavily used by developers and maintainers to imp...
Jean-Marie Favre
TISSEC
2010
142views more  TISSEC 2010»
14 years 8 months ago
A logical specification and analysis for SELinux MLS policy
The SELinux mandatory access control (MAC) policy has recently added a multi-level security (MLS) model which is able to express a fine granularity of control over a subject'...
Boniface Hicks, Sandra Rueda, Luke St. Clair, Tren...