3719 search results - page 141 / 744 » RACER System Description |
148
click to vote
WECWIS
2006
IEEE
16 years 8 days ago
2006
IEEE
In this paper we present a novel approach and a system for automated selection of building blocks, by exploiting business processes semantics. The selection process is based on a ...
138
click to vote
EPEW
2005
Springer
15 years 11 months ago
2005
Springer
In this paper we show how we can translate Web Services described by WS-CDL into a timed automata orchestration, and more specifically we are interested in Web services with time ...
139
click to vote
EWSA
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. Software architectures are engineering artifacts which provide high-level descriptions of complex systems. Certain recent architecture description languages (Adls) allow ...
176
click to vote
DATE
2003
IEEE
15 years 11 months ago
2003
IEEE
More and more the system verification makes use of hardware emulation techniques that allow a speed up in simulation performance up to thousand times. Typically, a design is comp...
158
click to vote
DATE
2004
IEEE
15 years 10 months ago
2004
IEEE
This paper presents an environment based on SystemC for architecture specification of programmable systems. Making use of the new architecture description language ArchC, able to ...