2558 search results - page 463 / 512 » Model Composition Contracts |
150
Voted
CASSIS
2005
Springer
15 years 9 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...
146
Voted
COORDINATION
2005
Springer
15 years 9 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 ...
119
Voted
ECMDAFA
2005
Springer
15 years 9 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...
127
Voted
FOSSACS
2005
Springer
15 years 9 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...
126
Voted
IBPRIA
2005
Springer
15 years 9 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 “...