2060 search results - page 365 / 412 » The Composition of Event-B Models |
111
click to vote
LICS
2005
IEEE
15 years 10 months ago
2005
IEEE
We construct a domain-theoretic calculus for Lipschitz and differentiable functions, which includes addition, subtraction and composition. We then develop a domaintheoretic versio...
200
click to vote
MMM
2005
Springer
15 years 10 months ago
2005
Springer
A composite multimedia object (cmo) is comprised of different media components such as text, video, audio and image, with a variety of constraints that must be adhered to. The con...
133
click to vote
AIIA
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. When dealing with real systems, it is unrealistic to suppose that observations can be totally ordered according to their emission dates. The partially ordered observation...
158
click to vote
CASSIS
2005
Springer
15 years 10 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...
157
click to vote
COORDINATION
2005
Springer
15 years 10 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 ...