1054 search results - page 92 / 211 » Compositional Refinement of Interactive Systems Modelled by ... |
133
click to vote
TOOLS
2008
IEEE
15 years 10 months ago
2008
IEEE
Abstract. A popular approach to compositional verification of component-based applications is based on the assume-guarantee paradigm, where an assumption models behavior of an env...
223
click to vote
SIGMOD
2005
ACM
16 years 4 months ago
2005
ACM
Web Service Technology has been developing rapidly as it provides a flexible application-to-application interaction mechanism. Several ongoing research efforts focus on various as...
144
click to vote
CADUI
2004
15 years 5 months ago
2004
The development process of hypermedia applications implies very specific problems mainly related, first, to the use of navigational structures, interactive behaviours and multimed...
119
click to vote
ENTCS
2008
15 years 4 months ago
2008
We propose a new biological framework, spatial networks of hybrid input/output automata (SNHIOA), for the efficient modeling and simulation of excitable-cell tissue. Within this f...
163
click to vote
CVGIP
2006
15 years 4 months ago
2006
In this paper, we detail an anatomically inspired, physically based model of the human torso designed for the visual simulation of respiration using a mixed system of rigid and de...