2558 search results - page 463 / 512 » Model Composition Contracts |
186
click to vote
CASSIS
2005
Springer
15 years 11 months ago
2005
Springer
System software for deeply embedded devices has to cope with a broad variety of requirements and platforms, but especially with strict resource constraints. To compete against prop...
189
click to vote
COORDINATION
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Recently the term Web Services Orchestration has been introduced to address composition and coordination of Web Services. Several languages to describe orchestration for ...
153
click to vote
ECMDAFA
2005
Springer
15 years 11 months ago
2005
Springer
As the number of available Web services increases there is a growing demand to realize complex business processes by combining and reusing available Web services. The reuse and com...
161
click to vote
FOSSACS
2005
Springer
15 years 11 months ago
2005
Springer
Modal logic has a good claim to being the logic of choice for describing the reactive behaviour of systems modeled as coalgebras. Logics with modal operators obtained from so-calle...
169
click to vote
IBPRIA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. Some recent works have addressed the object recognition problem by representing objects as the composition of independent image parts, where each part is modeled with “...