662 search results - page 42 / 133 » The Functionality Attribute of Cybergenres |
IFM
2010
Springer
14 years 7 months ago
2010
Springer
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
CORR
2010
Springer
14 years 7 months ago
2010
Springer
In programming language semantics, it has proved to be fruitful to analyze context-dependent notions of computation, e.g., dataflow computation and attribute grammars, using comona...
PROCEDIA
2010
14 years 4 months ago
2010
In this work we address the issue of selecting and composing Web Services (WSs) considering functional requirements and transactional properties. We formalize the WS composition p...
ISCAS
2003
IEEE
15 years 3 months ago
2003
IEEE
This paper presents a new family of architectures for multi-cycle area-efficient evaluation of elementary and composite functions, and an exploration of the design tradeoffs for i...
POLICY
2005
Springer
15 years 3 months ago
2005
Springer
Service-oriented computing provides the right means for building flexible systems that allow dynamic configuration and on-the-fly composition. In order to realize this vision, ...