3268 search results - page 341 / 654 » Structured Service Composition |
348
click to vote
Book
"This is the (work in progress) book "Algorithms for Programmers". Publication as soon as possible, content is (modulo copy editing) close to final version. I will p...
161
click to vote
ICIP
2001
IEEE
16 years 8 months ago
2001
IEEE
Image composition (or mosaicing) has attracted a growing attention in recent years as one of the main elements in video analysis and representation. In this paper we deal with the...
166
click to vote
ICALP
2007
Springer
16 years 25 days ago
2007
Springer
Following the idea developed by I. Simon in his theorem of Ramseyan factorisation forests, we develop a result of ‘deterministic factorisations’. This extra determinism propert...
152
click to vote
ICECCS
2005
IEEE
16 years 8 days ago
2005
IEEE
When designing a complex system, Object-Z is a powerful logic-based language for modeling the system state aspects, and Timed Automata is an excellent graph-based notation for cap...
167
click to vote
IFL
2004
Springer
16 years 1 days ago
2004
Springer
This paper presents FunctionalForms, a combinator library for constructing fully functioning forms in a concise and flexible way. A form is a part of a graphical user interface (G...