1564 search results - page 46 / 313 » Extensions to the Estimation Calculus |
121
click to vote
SEMWEB
2005
Springer
15 years 7 months ago
2005
Springer
Although Semantic Web service discovery has been extensively studied in the literature ([7], [12], [15] and [10]), we are far from achieving an effective, complete and automated di...
126
click to vote
APLAS
2004
ACM
15 years 7 months ago
2004
ACM
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
115
click to vote
KR
2004
Springer
15 years 7 months ago
2004
Springer
Although sorts and unary predicates are semantically identical in order-sorted logic, they are classified as different kinds of properties in formal ontology (e.g. sortal and non...
120
click to vote
CONCUR
2003
Springer
15 years 7 months ago
2003
Springer
Multi-valued model-checking is an extension of classical model-checking to reasoning about systems with uncertain information, which are common during early design stages. The addi...
150
click to vote
COORDINATION
2006
Springer
15 years 5 months ago
2006
Springer
Bigraphical Reactive Systems have been proposed as a meta model for global ubiquitous computing generalising process calculi for mobility such as the pi-calculus and the Mobile Amb...