1737 search results - page 273 / 348 » On Interpolation in Existence Logics |
166
click to vote
APSEC
2006
IEEE
16 years 7 days ago
2006
IEEE
Testing for time-related behaviors of PLC software is important and should be performed carefully. We propose a structural testing technique on Function Block Diagram(FBD) network...
141
click to vote
ETFA
2006
IEEE
16 years 7 days ago
2006
IEEE
In the present paper we propose a method that permits visualization of manufacturing devices from a functional perspective. The aim of this method is to raise raction level of man...
133
click to vote
IEEECIT
2006
IEEE
16 years 6 days ago
2006
IEEE
Data grid is a kind of wide-area, distributed storage system. It can provide huge storage capacity. There are millions of files in data grid, distributed on hundreds of geographi...
172
click to vote
INFOCOM
2006
IEEE
16 years 6 days ago
2006
IEEE
— Internet connectivity at the AS level, defined in terms of pairwise logical peering relationships, is constantly evolving. This evolution is largely a response to economic, po...
150
click to vote
IPPS
2006
IEEE
16 years 6 days ago
2006
IEEE
The development of Field Programmable Gate Arrays (FPGAs) had tremendous improvements in the last few years. They were extended from simple logic circuits to complex Systems-on-Ch...