6836 search results - page 957 / 1368 » Modelling Web-Oriented Architectures |
197
click to vote
ASYNC
2007
IEEE
15 years 11 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
212
click to vote
DAC
2010
ACM
15 years 11 months ago
2010
ACM
The identification of speedpaths is required for post-silicon (PS) timing validation, and it is currently becoming timeconsuming due to manufacturing variations. In this paper we...
212
click to vote
AINA
2004
IEEE
15 years 11 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 ...
195
click to vote
CAISE
2006
Springer
15 years 11 months ago
2006
Springer
The role of ontologies in knowledge base systems is gradually increasing. Along with the growth of Internet based applications and ecommerce, the need for easy interoperability bet...
198
click to vote
DEXAW
2004
IEEE
15 years 11 months ago
2004
IEEE
Management of large data repositories integrated into the Grid poses new challenges for Grid research. There already exist several successful Data Grid projects addressing process...