5184 search results - page 686 / 1037 » Computer support for mechatronic control system design |
208
click to vote
CCS
2009
ACM
16 years 8 months ago
2009
ACM
Distributed proof construction protocols have been shown to be valuable for reasoning about authorization decisions in open distributed environments such as pervasive computing sp...
239
click to vote
IPPS
2006
IEEE
16 years 1 months ago
2006
IEEE
Modern FPGA platforms provide the hardware and software infrastructure for building a bus-based System on Chip (SoC) that meet the applications requirements. The designer can cust...
194
click to vote
JIIS
2008
15 years 7 months ago
2008
We propose a natural framework, called NF, which supports development of formal proofs on a computer. NF is based on a theory of Judgments and Derivations. NF is designed by observ...
192
click to vote
BCSHCI
2008
15 years 9 months ago
2008
Ensuring good usability can be seen as the key success factor in our whole digital world: technology must support people. In particular, Medicine and Healthcare are currently subj...
237
click to vote
CLOUDCOM
2010
Springer
15 years 5 months ago
2010
Springer
Geospatial queries (GQ) have been used in a wide variety of applications such as decision support systems, profile-based marketing, bioinformatics and GIS. Most of the existing qu...