2055 search results - page 223 / 411 » Generic Model Refactorings |
121
click to vote
ICSOC
2007
Springer
15 years 9 months ago
2007
Springer
Workflow technology is an emerging paradigm for systematic modeling and orchestration of job flow for enterprise and scientific applications. This paper introduces BPEL4Job, a BPEL...
115
click to vote
TPHOL
2005
IEEE
15 years 9 months ago
2005
IEEE
The Verisoft project aims at the pervasive formal verification of entire computer systems. In particular, the seamless verification of the academic system is attempted. This syst...
106
click to vote
GBRPR
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. This paper deals with the problem of graphical knowledge management (formalization, modelling, representation and operationalization) in graphics recognition systems. We ...
109
click to vote
ASPDAC
2004
ACM
15 years 8 months ago
2004
ACM
Abstract—The dynamic power consumed by a digital CMOS circuit is directly proportional to capacitance. In this paper, we consider pre-routing capacitance estimation for FPGAs and...
127
Voted
ICSR
2004
Springer
15 years 8 months ago
2004
Springer
Non-stop and highly available applications need to be dynamically adapted to new conditions in their execution environment, to new user requirements or to some situations usually u...