Sciweavers

2492 search results - page 143 / 499
» An Integrated Rule Modeling Framework
Sort
View
PDPTA
2004
15 years 7 months ago
Hierarchical Scheduling for State-based Services
Abstract-- Service descriptions based on type hiernd abstract service states ruling the availability of operations permit more secure service combinations in distributed systems de...
Jens Bruhn, Sven Kaffille, Guido Wirtz
ACL
1990
15 years 7 months ago
Algorithms for Generation in Lambek Theorem Proving
We discuss algorithms for generation within the Lambek Theorem Proving Framework. Efficient algorithms for generation in this framework take a semantics-driven strategy. This stra...
Erik-Jan van der Linden, Guido Minnen
ICAI
2009
15 years 4 months ago
BayesOWL: A Prototype System for Uncertainty in Semantic Web
: Previously we have proposed a theoretical framework, called BayesOWL, to model uncertainty in semantic web ontologies based on Bayesian networks. In particular, we have developed...
Shenyong Zhang, Yi Sun, Yun Peng, Xiaopu Wang
ICC
2009
IEEE
154views Communications» more  ICC 2009»
16 years 1 months ago
Load Balancing vs. Distributed Rate Limiting: An Unifying Framework for Cloud Control
— With the expansion of cloud-based services, the question as to how to control usage of such large distributed systems has become increasingly important. Load balancing (LB), an...
Rade Stanojevic, Robert Shorten
ICSE
2003
IEEE-ACM
16 years 6 months ago
Cadena: An Integrated Development, Analysis, and Verification Environment for Component-based Systems
The use of component models such as Enterprise Java Beans and the CORBA Component Model (CCM) in application development is expanding rapidly. Even in real-time safety/mission-cri...
John Hatcliff, Xianghua Deng, Matthew B. Dwyer, Ge...