Sciweavers

283 search results - page 26 / 57
» Coordination-Policy Based Composed System Behavior Derivatio...
Sort
View
JSAC
2008
95views more  JSAC 2008»
13 years 7 months ago
Cognitive Medium Access: Constraining Interference Based on Experimental Models
In this paper we design a cognitive radio that can coexist with multiple parallel WLAN channels while abiding by an interference constraint. The interaction between both systems is...
Stefan Geirhofer, Lang Tong, Brian M. Sadler
HICSS
2007
IEEE
79views Biometrics» more  HICSS 2007»
14 years 2 months ago
User-Based Evaluations of Search Engines: Hygiene Factors and Motivation Factors
In cyberspace, the emergence and increasing importance of search engine prompts numerous evaluation studies in regard to its effectiveness. Based on a user-oriented perspective, t...
Ya-Lan Chuang, Ling-Ling Wu
ICDCS
1999
IEEE
14 years 23 days ago
Run-time Detection in Parallel and Distributed Systems: Application to Safety-Critical Systems
There is growing interest in run-time detection as parallel and distributed systems grow larger and more complex. This work targets run-time analysis of complex, interactive scien...
Beth Plale, Karsten Schwan
IM
2003
13 years 9 months ago
Performance Management for Cluster Based Web Services
: We present an architecture and prototype implementation of a performance management system for cluster-based web services. The system supports multiple classes of web services tr...
Ronald M. Levy, Jay Nagarajarao, Giovanni Pacifici...
FASE
1998
Springer
14 years 21 days ago
Compositional Verification of Reactive Systems Specified by Graph Transformation
A loose semantics for graph transformation rules which has been developed recently is used in this paper for the compositional verification of specifications. The main conceptual t...
Reiko Heckel