752 search results - page 108 / 151 » An Ontology Framework for Semantic Business Process Manageme... |
167
click to vote
FMCO
2008
Springer
15 years 7 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
206
click to vote
ASIAN
2005
Springer
15 years 11 months ago
2005
Springer
The service discovery is a key step during Peer-to-Peer (P2P) converging with Web Service. In this paper, a semantic-P2P based approach is presented for web service discovery. To e...
150
click to vote
ITNG
2007
IEEE
16 years 16 days ago
2007
IEEE
Requirement analysis is an important process in the design and development of information systems. Various tools and methodologies are used to gather the user requirements. These ...
155
click to vote
ICCAD
1998
IEEE
15 years 10 months ago
1998
IEEE
In traditional distributed embedded system designs, control information is often replicated across several processes and kept coherent by application-specific mechanisms. Conseque...
188
click to vote
TCS
2008
15 years 6 months ago
2008
Orc is a kernel language for structured concurrent programming. Orc provides three powerful combinators that define the structure of a concurrent computation. These combinators su...