BIRTHDAY
2010
Springer
13 years 11 months ago
2010
Springer
BIRTHDAY
2010
Springer
13 years 11 months ago
2010
Springer
Programmable networks offer the ability to customize router behaviour at run time, thus providing new levels of flexibility for network administrators. We have developed a program...
BIRTHDAY
2010
Springer
13 years 11 months ago
2010
Springer
Let M = (A, <, P) where (A, <) is a linear ordering and P denotes a finite sequence of monadic predicates on A. We show that if A contains an interval of order type or -, an...
BIRTHDAY
2010
Springer
13 years 11 months ago
2010
Springer
Abstract. This paper considers how to adapt geometric algorithms, developed for content-based music retrieval of symbolically encoded music, to be robust against time deformations ...
BIRTHDAY
2010
Springer
14 years 19 days ago
2010
Springer
BIRTHDAY
2010
Springer
14 years 19 days ago
2010
Springer
BIRTHDAY
2010
Springer
14 years 19 days ago
2010
Springer
Abstract. We investigate the power of play-out, the execution mechanism associated with scenario-based programming, which was defined as the operational semantics of live sequence ...
BIRTHDAY
2010
Springer
14 years 19 days ago
2010
Springer
Chosen-ciphertext security is by now a standard security property for asymmetric encryption. Many generic constructions for building secure cryptosystems from primitives with lower...
BIRTHDAY
2010
Springer
14 years 19 days ago
2010
Springer
Abstract. In this work we introduce counterexample guided path reduction based on interval constraint solving for static program analysis. The aim of this technique is to reduce th...
BIRTHDAY
2010
Springer
14 years 19 days ago
2010
Springer
Abstract. To support model-based development and analysis of embedded systems, the specification language VDM++ has been extended with asynchronous communication and improved timin...