1173 search results - page 38 / 235 » On the Compositionality of Round Abstraction |
FUIN
2007
13 years 9 months ago
2007
Abstract. The hierarchy of arbitrary compositions of two-way nondeterministic finite-state transductions collapses when restricted to finitary transductions, i.e., transductions ...
CAV
2009
Springer
14 years 10 months ago
2009
Springer
D-Finder tool implements a compositional method for the verification of component-based systems described in BIP language encompassing multi-party interaction. For deadlock detecti...
EDOC
2007
IEEE
14 years 4 months ago
2007
IEEE
The process of composing a service from other services typically involves multiple models. These models may represent the service from distinct perspectives, e.g., to model the di...
ACSD
2004
IEEE
14 years 1 months ago
2004
IEEE
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...
SERVICES
2008
13 years 11 months ago
2008
In Service Oriented Architecture, each application is ofgned as a set of abstract services, which defines its functions. A concrete service(s) is selected at runtime for tract ser...