4211 search results - page 632 / 843 » Types as Abstract Interpretations |
129
click to vote
NOMS
2008
IEEE
15 years 11 months ago
2008
IEEE
Abstract—The security mechanisms employed in current networked environments are increasingly complex, and their configuration management has an important role for the protection...
184
click to vote
ITICSE
2005
ACM
15 years 10 months ago
2005
ACM
concepts more concrete. The method has two main learning outcomes: • Language Specification – The goal of the assignment is to be able to build LEGO® creations on a standard g...
151
click to vote
ELECTRONICMARKETS
1998
15 years 4 months ago
1998
AbstractAbstractAbstractAbstract A design and pilot implementation of a system, called InterProcs, supporting electronic contracting is presented. A key concept in the design of th...
295
click to vote
ICDE
2009
IEEE
16 years 6 months ago
2009
IEEE
Abstract-- Inspired by the great success of information retrieval (IR) style keyword search on the web, keyword search on XML has emerged recently. The difference between text data...
138
click to vote
EUROSYS
2007
ACM
16 years 2 months ago
2007
ACM
Most implementations of critical Internet protocols are written in type-unsafe languages such as C or C++ and are regularly vulnerable to serious security and reliability problems...