Sciweavers

314 search results - page 32 / 63
» Integrating Architecture Description Languages with a Standa...
Sort
View
FMCAD
2006
Springer
13 years 11 months ago
Design for Verification of the PCI-X Bus
The importance of re-usable Intellectual Properties (IPs) cores is increasing due to the growing complexity of today's system-on-chip and the need for rapid prototyping. In th...
Haja Moinudeen, Ali Habibi, Sofiène Tahar
ICEIS
2003
IEEE
14 years 25 days ago
An XML View of the "World"
Abstract: The paper presents ”Any Input XML Output” (AIXO), a general and flexible software architecture for wrappers. The architecture has been designed to present data sourc...
Ezio Bartocci, Emanuela Merelli, Leonardo Mariani
SKG
2005
IEEE
14 years 1 months ago
Information Services for Dynamically Assembled Semantic Grids
The information management requirements in systems based on Web Service Architecture principles include both the management of large amounts of relatively static services and assoc...
Mehmet S. Aktas, Geoffrey Fox, Marlon E. Pierce
HT
2005
ACM
14 years 1 months ago
Semantically annotated hypermedia services
Hypermedia systems’ researchers investigate the various approaches in the way documents and resources are linked, navigated and stored in a distributed environment. Unfortunatel...
Ippokratis Pandis, Nikos Karousos, Thanassis Tirop...
MEMOCODE
2010
IEEE
13 years 5 months ago
A formal executable semantics of Verilog
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...
Patrick O'Neil Meredith, Michael Katelman, Jos&eac...