381 search results - page 61 / 77 » Tableaux for Acceptance Logic |
CODES
2006
IEEE
14 years 2 months ago
2006
IEEE
In this paper, we propose a simple and efficient mechanism to increase the throughput of an adaptive router in Networkon-Chip (NoC). One of the most serious disadvantages of fully...
ICEBE
2006
IEEE
14 years 2 months ago
2006
IEEE
UN/CEFACT’s Modeling Methodology (UMM) is a well accepted approach to define inter-organizational business processes. UMM models should be managed in a registry for two reasons...
ADBIS
2006
Springer
14 years 2 months ago
2006
Springer
The Conference on Advances in Databases and Information Systems (ADBIS) was initiated by the Moscow ACM SIGMOD chapter, and started in 1993 as a mainly Russian national event. Sinc...
ASWEC
2005
IEEE
14 years 2 months ago
2005
IEEE
Robots have diverse capabilities and complex interactions with their environment. Software development for robotic platforms is time consuming due to the complex nature of the tas...
MSS
2005
IEEE
14 years 2 months ago
2005
IEEE
This paper proposes STORAGEDB: a paradigm for implementing storage virtualation using databases. It describes details for storing the logical-to-physical mapping information as ta...