10038 search results - page 1757 / 2008 » Model Checking for Managers |
156
click to vote
AINA
2009
IEEE
15 years 12 months ago
2009
IEEE
—The WebInVivo project aims at providing automated support for clinical research on neglected diseases. It includes mechanisms for (a) sharing and reusing clinical trial assets, ...
157
Voted
AINA
2009
IEEE
15 years 12 months ago
2009
IEEE
Abstract — Governing business compliance with regulations, laws, best practices, contracts, and the like is not an easy task, and so far there are only limited software products ...
136
click to vote
CISIS
2009
IEEE
15 years 12 months ago
2009
IEEE
The integration of heterogeneous data sources with even heterogeneous semantic meanings poses a challenge for data and system integrators. Ontology Alignment (OA) tries to identif...
161
click to vote
DASFAA
2009
IEEE
15 years 12 months ago
2009
IEEE
Abstract. In many application domains, e.g. sensor databases, traffic management or recognition systems, objects have to be compared based on positionally and existentially uncert...
130
click to vote
HICSS
2009
IEEE
15 years 12 months ago
2009
IEEE
Emergencies today seem larger, more complex, and unique than those of the past. Responding to them requires flexibility and creativity not easily achieved. The threat-rigidity the...