1544 search results - page 269 / 309 » Automated Evaluation of Description Logic Reasoning Systems |
207
click to vote
ICLP
2009
Springer
16 years 13 days ago
2009
Springer
We address how to write programs for distributed computing systems in which the network topology can change dynamically. Examples of such systems, which we call ensembles, include ...
RSP
2003
IEEE
15 years 5 months ago
2003
IEEE
The paper shows the outlines of the SLAM system and how its design is suitable for automating rapid prototyping. The system includes a very expressive object oriented specificati...
CASES
2004
ACM
15 years 5 months ago
2004
ACM
Application specific processors offer the potential of rapidly designed logic specifically constructed to meet the performance and area demands of the task at hand. Recently, t...
122
click to vote
TMC
2012
13 years 2 months ago
2012
—Characterizing the performance of ad hoc networks is one of the most intricate open challenges; conventional ideas based on information-theoretic techniques and inequalities hav...
EDOC
2007
IEEE
15 years 3 months ago
2007
IEEE
Enterprise architecture advocates model-based decision-making on enterprise-wide information system issues. In order to provide decisionmaking support, enterprise architecture mode...