1728 search results - page 116 / 346 » Formal Modeling of Process Migration |
105
Voted
ESWS
2008
Springer
15 years 2 months 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 ...
113
Voted
ICIP
2000
IEEE
16 years 2 months 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 ...
118
Voted
CAISE
2000
Springer
15 years 5 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...
117
Voted
ASM
2010
ASM
15 years 7 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...
125
click to vote
FDL
2006
IEEE
15 years 4 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...