55 search results - page 4 / 11 » birthday 2008 |
100
click to vote
BIRTHDAY
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. Church's Problem, stated fifty years ago, asks for a finitestate machine that realizes the transformation of an infinite sequence into an infinite sequence such tha...
BIRTHDAY
2008
Springer
14 years 12 months ago
2008
Springer
Abstract. We survey some of the main results regarding the complexity and expressive power of Live Sequence Charts (LSCs). We first describe the two main semantics given to LSCs: a...
BIRTHDAY
2008
Springer
14 years 12 months ago
2008
Springer
One of the surprising developments in the area of program verification is how ideas introduced originally by logicians in the 1950s ended up yielding by 2003 an industrial-standard...
BIRTHDAY
2008
Springer
14 years 12 months ago
2008
Springer
The semiring-based formalism to model soft constraint has been introduced in 1995 by Ugo Montanari and the authors of this paper. The idea was to make constraint programming more f...
BIRTHDAY
2008
Springer
14 years 12 months ago
2008
Springer
We introduce a type system providing a guarantee of client progress for a fragment of CaSPiS, a recently proposed process calculus for serviceoriented applications. The interplay o...