8933 search results - page 1778 / 1787 » Usability over time |
124
click to vote
ATAL
2011
Springer
13 years 11 months ago
2011
Springer
In modal logic, when adding a syntactic property to an axiomatisation, this property will semantically become true in all models, in all situations, under all circumstances. For i...
105
Voted
ATAL
2011
Springer
13 years 11 months ago
2011
Springer
Commitments provide a flexible means for specifying the business relationships among autonomous and heterogeneous agents, and lead to a natural way of enacting such relationships...
ATAL
2011
Springer
13 years 11 months ago
2011
Springer
Consumers of resources in realistic applications (e.g., web, multimedia) typically derive diminishing-return utilities from the amount of resource they receive. A resource provide...
CBSE
2011
Springer
13 years 11 months ago
2011
Springer
Software components are increasingly assembled from other components. Each component may further depend on others, and each may have multiple active versions. The total number of ...
138
click to vote
CCS
2011
ACM
13 years 11 months ago
2011
ACM
Network intrusion detection systems are faced with the challenge of identifying diverse attacks, in extremely high speed networks. For this reason, they must operate at multi-Giga...