10406 search results - page 249 / 2082 » Using RDF to Model the Structure and Process of Systems |
134
click to vote
FCCM
2004
IEEE
15 years 7 months ago
2004
IEEE
In this paper we present a novel use of an FPGA as a computing element for streaming based application. We investigate the virtualized execution of dynamic reconfigurable tasks. We...
170
Voted
ASE
1998
15 years 3 months ago
1998
Software process improvement requires high level formalisms for describing project-specific, organizational and quality aspects. These formalisms must be convenient not only for ...
139
click to vote
BPM
2010
Springer
15 years 4 months ago
2010
Springer
Business webs are collections of enterprises designed to jointly satisfy a consumer need. Designing business webs calls for modeling the collaboration of enterprises from different...
135
click to vote
TACAS
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Our main objective is to combine partial-order methods with verification techniques for infinite-state systems in order to obtain efficient verification algorithms fo...
135
click to vote
ESTIMEDIA
2006
Springer
15 years 7 months ago
2006
Springer
Parallelization of embedded software is often desirable for power/performance-related considerations for computation-intensive applications that frequently occur in the signal-pro...