4401 search results - page 45 / 881 » Computing with Default Logic |
HPDC
1997
IEEE
14 years 7 days ago
1997
IEEE
High-performance execution in distributed computing environments often requires careful selection and configuration not only of computers, networks, and other resources but also o...
ANSS
2007
IEEE
14 years 3 months ago
2007
IEEE
For embedded systems as well as for biological cell systems, design is a feature that defines their identity. The assembly of different components in designs of both systems can ...
ENTCS
2007
13 years 8 months ago
2007
We define a logic EpCTL for reasoning about the evolution of probabilistic systems. System states correspond to probability distributions over classical states and the system evo...
DLOG
2009
13 years 6 months ago
2009
Least Common Subsumers (LCS) have been proposed in Description Logics (DL) to capture the commonalities between two or more concepts.
ICDE
2007
IEEE
14 years 3 months ago
2007
IEEE
Several current research efforts in business process modeling are investigating XML-based executable formal specification languages. The availability of the latter allows modeled...