827 search results - page 133 / 166 » Patterns for Timed Property Specifications |
110
click to vote
HT
2000
ACM
15 years 6 months ago
2000
ACM
Hypermedia structured in terms of the higher-level intent of its author can be adapted to a wider variety of final presentations. Many multimedia systems encode such highlevel int...
132
click to vote
EDBTW
2006
Springer
15 years 5 months ago
2006
Springer
One of the goals of cleaning an inconsistent database is to remove conflicts between tuples. Typically, the user specifies how the conflicts should be resolved. Sometimes this spec...
115
click to vote
ATAL
2003
Springer
15 years 5 months ago
2003
Springer
This paper addresses the problem of protecting the data carried by mobile agents from the possible attacks of malicious execution hosts. Specifically, we consider protection mecha...
AAAI
2006
15 years 3 months ago
2006
This paper develops new algorithms for coalition formation within multi-sensor networks tasked with performing widearea surveillance. Specifically, we cast this application as an ...
135
click to vote
CORR
2010
Springer
15 years 2 months ago
2010
Springer
Agile development processes and component-based software architectures are two software engineering approaches that contribute to enable the rapid building and evolution of applic...