959 search results - page 124 / 192 » Fundamental Concepts in Programming Languages |
100
click to vote
BIRTHDAY
2005
Springer
15 years 5 months ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
100
click to vote
EWSA
2005
Springer
15 years 5 months ago
2005
Springer
We propose a meta-framework called ‘Plastik’ which i) supports the specification and creation of runtime component-framework-based software systems and ii) facilitates and mana...
111
click to vote
ICALP
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Weighted automata are used to describe quantitative properties in various areas such as probabilistic systems, image compression, speech-to-text processing. The behaviour...
ICALP
2004
Springer
15 years 5 months ago
2004
Springer
In multi-valued model checking, a temporal logic formula is interpreted relative to a structure not as a truth value but as a lattice element. In this paper we present new algorith...
IFIP
2003
Springer
15 years 5 months ago
2003
Springer
Whilst much effort has been put into the creation of routing algorithms to handle all sorts of mobility scenarios in ad-hoc networks, other fundamental issues, such as the addresse...