1188 search results - page 69 / 238 » Testing Semantics: Connecting Processes and Process Logics |
130
click to vote
IJMSO
2006
15 years 4 months ago
2006
: On the semantic web, assertions may be aggregated from many sources, those aggregations filtered, reasoned over, aggregated with other aggregators, displayed, scraped, extracted,...
132
click to vote
AGI
2008
15 years 5 months ago
2008
: A series of hypotheses is proposed, connecting neural structures and dynamics with the formal structures and processes of probabilistic logic. First, a hypothetical connection is...
151
click to vote
TASE
2009
IEEE
15 years 10 months ago
2009
IEEE
The complex interactions appearing in service-oriented computing make coordination a key concern in serviceoriented systems. In this paper, we present a fault-based method to gene...
136
click to vote
IJFCS
2006
15 years 4 months ago
2006
This paper studies conflicts from a process-algebraic point of view and shows how they are related to the testing theory of fair testing. Conflicts have been introduced in the con...
118
click to vote
ISLPED
2000
ACM
15 years 8 months ago
2000
ACM
Recovering and reusing circuit energies that would otherwise be dissipated as heat can reduce the power dissipated by a VLSI chip. To accomplish this requires a power source that ...