2610 search results - page 437 / 522 » codes 2007 |
118
click to vote
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
Abstract We present the semantics and proof system for an objectoriented language with active objects, asynchronous method calls, and futures. The language, based on Creol, disting...
120
click to vote
ESORICS
2007
Springer
15 years 10 months ago
2007
Springer
Port knocking is a technique first introduced in the blackhat and trade literature to prevent attackers from discovering and exploiting potentially vulnerable services on a networ...
122
click to vote
EUROPAR
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Understanding program behavior is at the foundation of program optimization. Techniques for automatic recognition of program constructs (from now on, computational kernel...
125
click to vote
EUROSSC
2007
Springer
15 years 10 months ago
2007
Springer
Context-aware applications require context information to adapt their behaviour to the current situation. When developing context-aware applications, application developers need to...
118
click to vote
FASE
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Within model-driven software development, model transformation has become a key activity. It refers to a variety of operations modifying a model for various purposes such...