Sciweavers

19985 search results - page 3251 / 3997
» Modelling Ecological Data
Sort
View
DATE
2003
IEEE
98views Hardware» more  DATE 2003»
16 years 26 days ago
Using Formal Techniques to Debug the AMBA System-on-Chip Bus Protocol
System-on-chip (SoC) designs use bus protocols for high performance data transfer among the Intellectual Property (IP) cores. These protocols incorporate advanced features such as...
Abhik Roychoudhury, Tulika Mitra, S. R. Karri
DEXAW
2003
IEEE
137views Database» more  DEXAW 2003»
16 years 26 days ago
Applying the Semantic Web Layers to Access Control
The Semantic Web, also known as the Web of meaning, is considered the new generation of the Web. Its objective is to enable computers and people to work in cooperation. A requisit...
Mariemma Inmaculada Yagüe del Valle, Antonio ...
DSN
2003
IEEE
16 years 25 days ago
On the Design of Robust Integrators for Fail-Bounded Control Systems
This paper describes the design and evaluation of a robust integrator for software-implemented control systems. The integrator is constructed as a generic component in the Simulin...
Jonny Vinter, Andréas Johansson, Peter Folk...
DSRT
2003
IEEE
16 years 25 days ago
An Agent Architecture for Network Support of Distributed Simulation Systems
Continued research into distributed agent-based systems and evolving web based technologies are opening up tremendous possibilities for the deployment of large scale and highly ex...
Robert Simon, Woan Sun Chang, J. Mark Pullen
HICSS
2003
IEEE
154views Biometrics» more  HICSS 2003»
16 years 25 days ago
Data-driven Methodology to Extending Workflows to E-services over the Internet
E-services refer to the services offered over the Internet. The globalization of economy accelerates the provision of e-services across organizations. Instead of being built from ...
Shing-Chi Cheung, Dickson K. W. Chiu, Sven Till
« Prev « First page 3251 / 3997 Last » Next »