10682 search results - page 1776 / 2137 » A Graph Based Process Representation for Process Modeling |
220
click to vote
CAISE
1997
Springer
15 years 11 months ago
1997
Springer
Abstract: Traceability is a prerequisite for managing the evolution of (software) systems. Assuring overall traceability of a system development process, i.e., capturing and interr...
181
click to vote
GLVLSI
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper describes a formal verification methodology of highnthesis (HLS) process. The abstraction level of the input to HLS is so high compared to that of the output that the v...
177
click to vote
EUROMICRO
2009
IEEE
15 years 10 months ago
2009
IEEE
BPEL is the de facto standard for business process modeling in today's enterprises and is a promising candidate for the integration of business and scientific applications tha...
188
Voted
AINA
2004
IEEE
15 years 10 months ago
2004
IEEE
The Open Grid Services Infrastructure (OGSI) defines a distributed system framework by integrating Grid and Web services technologies to facilitate resource sharing. In OGSI, Web ...
189
click to vote
APNOMS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. Despite the importance of seamless connectivity in ubiquitous computing, research for seamless connectivity has not been considered properly. To provide seamless connecti...