2753 search results - page 53 / 551 » An architecture model for supporting application integration... |
MJ
2006
14 years 9 months ago
2006
In this paper, we describe a hybrid tool for hardware formal verification that links the HOL (higher-order logic) theorem prover and (multiway decision graphs) model checker. Our ...
113
click to vote
CCGRID
2007
IEEE
15 years 4 months ago
2007
IEEE
Data Grids provide transparent access to heterogeneous and autonomous data resources. The main contribution of this paper is the presentation of a data sharing system that (i) is ...
ERCIMDL
2010
Springer
14 years 11 months ago
2010
Springer
Abstract. In this paper, we report the design of an RFID sensing infrastructure for digital libraries. In addition to the architecture of the system, we report its deployment in th...
APSEC
2005
IEEE
15 years 3 months ago
2005
IEEE
Exception handling design is an important but difficult subject in software development. In Java software development, the use of checked exceptions exacerbates the difficulty. In...
EMISA
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: Modern enterprises face the challenge to survive in an ever changing environment. One commonly accepted means to address this challenge and further enhance survivability ...