1054 search results - page 59 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
123
Voted
ICDE
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper, we propose to deploy type-theoretic techniques to the service description and composition verification. We define a flexible type system for modeling instances a...
136
click to vote
CGVR
2009
15 years 1 months ago
2009
FXPAL's Pantheia system enables users to create virtual models by `marking up' a physical space with pre-printed visual markers. The meanings associated with the markers...
195
click to vote
MMM
2005
Springer
15 years 9 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...
158
click to vote
AMDO
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. We present a new method to simulate deformable volumetric objects interactively using finite elements. With quadratic basis functions and a non-linear strain tensor, we a...
130
click to vote
ITCC
2005
IEEE
15 years 9 months ago
2005
IEEE
Notification is especially important in the Service Oriented Architecture (SOA) model engendered by Web Services. where Web Services interact with each other through the exchange ...