Sciweavers

1119 search results - page 175 / 224
» A Flexible Framework for SharedPlans
Sort
View
AINA
2005
IEEE
14 years 2 months ago
An Architecture for Automated QoS Resolution in Wireless Systems
: The pervasive nature of mobile and wireless systems has led to increased concerns over Quality of Service (QoS). In the prevailing models for QoS management, QoS resolution is ac...
Behzad Bordbar, Rachid Anane
HICSS
2005
IEEE
139views Biometrics» more  HICSS 2005»
14 years 2 months ago
Complex Decision Making Processes: their Modelling and Support
Decision making processes and systems to support the same have focused for the most part on narrow disciplines, paradigms, perspectives, and pre-determined processes. Apart from t...
Angela Liew, David Sundaram
RTAS
2005
IEEE
14 years 2 months ago
On Schedulability Bounds of Static Priority Schedulers
—Real-time systems need to use the schedulability test to determine whether or not admitted tasks can meet their deadlines. The utilization based schedulability test is the most ...
Jianjia Wu, Jyh-Charn Liu, Wei Zhao
WETICE
2005
IEEE
14 years 2 months ago
Application of Lightweight Formal Methods to Software Security
Formal specification and verification of security has proven a challenging task. There is no single method that has proven feasible. Instead, an integrated approach which combines...
David P. Gilliam, John D. Powell, Matt Bishop
EDO
2005
Springer
14 years 2 months ago
Striving for versatility in publish/subscribe infrastructures
Publish/subscribe infrastructures are used as the basic communication and integration framework in many application domains. The majority of those infrastructures, however, fall s...
Roberto Silveira Silva Filho, David F. Redmiles