Sciweavers

2413 search results - page 337 / 483
» Models for universal usability
Sort
View
118
Voted
ICWS
2007
IEEE
15 years 2 months ago
Reputation-Enhanced QoS-based Web Services Discovery
With an increasing number of Web services providing similar functionalities, Quality of Service (QoS) is becoming an important criterion for selection of the best available servic...
Ziqiang Xu, Patrick Martin, Wendy Powley, Farhana ...
AIML
2006
15 years 2 months ago
A General Semantics for Quantified Modal Logic
In [9] we developed a semantics for quantified relevant logic that uses general frames. In this paper, we adapt that model theory to treat quantified modal logics, giving a complet...
Robert Goldblatt, Edwin D. Mares
81
Voted
DAGSTUHL
2006
15 years 2 months ago
Closure and Causality
We present a model of causality which is defined by the intersection of two distinct closure systems, I and T . To present empirical evidence to demonstrate that this model has pra...
John L. Pfaltz
87
Voted
WSC
2004
15 years 2 months ago
Optimization of Traffic Signal Light Timing Using Simulation
Traffic congestion is one of the worst problems in many countries. Traffic congestion wastes a huge portion of the national income for fuel and traffic-related environmental and s...
Kasun N. Hewage, Janaka Yasantha Ruwanpura
109
Voted
ECSA
2010
Springer
15 years 26 days ago
Formal approach to security metrics.: what does "more secure" mean for you?
Security metrics are the tools for providing correct and upto-date information about a state of security. This information is essential for managing security efficiently. Although...
Leanid Krautsevich, Fabio Martinelli, Artsiom Yaut...