1728 search results - page 116 / 346 » Formal Modeling of Process Migration |
ESWS
2008
Springer
15 years 28 days ago
2008
Springer
One of the crucial reasons for adding semantic descriptions to Web services is to enable intelligent discovery, removing the need for a human to manually search and browse textual ...
101
click to vote
ICIP
2000
IEEE
16 years 22 days ago
2000
IEEE
The rapid progress of computers and today's heterogeneous computing environment means computation-intensive signal processing algorithms must be optimized for performance in ...
103
click to vote
CAISE
2000
Springer
15 years 3 months ago
2000
Springer
Application integration is a major trend in information technology today. In this paper we present a number of principles for the design, validation and presentation of process mod...
ASM
2010
ASM
15 years 6 months ago
2010
ASM
Abstract. Feature-oriented modelling is a well-known approach for Software Product Line (SPL) development. It is a widely used method when developing groups of related software. Wi...
110
click to vote
FDL
2006
IEEE
15 years 2 months ago
2006
IEEE
In this work, an approach to the `verification-oriented' modeling of the analog parts' behavior of mixed-signal circuits is presented. Starting from a continuous-time, c...