2414 search results - page 414 / 483 » Reasoning Support for OWL-E |
CORR
2011
Springer
14 years 1 months ago
2011
Springer
Network virtualization allows one to build dynamic distributed systems in which resources can be dynamically allocated at locations where they are most useful. In order to fully e...
ICSE
2011
IEEE-ACM
14 years 1 months ago
2011
IEEE-ACM
Considerable progress has been made towards automatic support for one of the principal techniques available to enhance program reliability: equipping programs with extensive contr...
120
click to vote
SIGMOD
2011
ACM
14 years 19 days ago
2011
ACM
Joins are essential for many data analysis tasks, but are not supported directly by the MapReduce paradigm. While there has been progress on equi-joins, implementation of join alg...
140
click to vote
IHI
2012
13 years 5 months ago
2012
Electronic Health Record (EHR) and Personal Health Record (PHR) systems could allow patients to better manage their health information and share it to enhance the quality and effi...
115
click to vote
TACAS
2012
Springer
13 years 5 months ago
2012
Springer
FShell is an automated white-box test-input generator for C programs, computing test data with respect to user-specified code coverage criteria. The pillars of FShell are the decl...