Sciweavers

851 search results - page 118 / 171
» A Governance Model for SOA
Sort
View
AAAI
2011
12 years 8 months ago
Modeling and Monitoring Crop Disease in Developing Countries
Information about the spread of crop disease is vital in developing countries, and as a result the governments of such countries devote scarce resources to gathering such data. Un...
John Alexander Quinn, Kevin Leyton-Brown, Ernest M...
DAC
2003
ACM
14 years 9 months ago
Behavioral consistency of C and verilog programs using bounded model checking
We present an algorithm that checks behavioral consistency between an ANSI-C program and a circuit given in Verilog using Bounded Model Checking. Both the circuit and the program ...
Edmund M. Clarke, Daniel Kroening, Karen Yorav
IWSAS
2001
Springer
14 years 1 months ago
Model-Based Diagnosis for Information Survivability
The Infrastructure of modern society is controlled by software systems that are vulnerable to attack. Successful attacks on these systems can lead to catastrophic results; the sur...
Howard E. Shrobe
ISBI
2006
IEEE
14 years 2 months ago
Using multiple tensor deflection to reconstruct white matter fiber traces with branching
The relationship between brain structure and complex behavior is governed by large-scale neurocognitive networks. Diffusion weighted imaging(DWI) is a noninvasive technique that c...
Weihong Guo, Qingguo Zeng, Yunmei Chen, Yijun Liu
HICSS
2003
IEEE
260views Biometrics» more  HICSS 2003»
14 years 2 months ago
Automating Land Management: An Interpretive Analysis of Information Technology Management within the Bureau of Land Management
Given societies’ massive investment in information technology and the potentially catastrophic consequences of IT failures, it is becoming increasingly critical to understand ho...
John C. Beachboard