827 search results - page 147 / 166 » Patterns for Timed Property Specifications |
206
click to vote
FOSSACS
2011
Springer
14 years 5 months ago
2011
Springer
Traditional automata accept or reject their input, and are therefore Boolean. In contrast, weighted automata map each word to a value from a semiring over a large domain. The speci...
133
click to vote
ECOOP
2005
Springer
15 years 7 months ago
2005
Springer
The three problems of the title — the first two widely discussed in the literature, the third less well known but just as important for further development of object technology ...
115
Voted
MMDB
2004
ACM
15 years 7 months ago
2004
ACM
Haptic data such as 3D motion capture data and sign language animation data are new forms of multimedia data. The motion data is multi-attribute, and indexing of multiattribute da...
OPODIS
2007
15 years 3 months ago
2007
Considering an asynchronous system made up of n processes and where up to t of them can crash, finding the weakest assumptions that such a system has to satisfy for a common leade...
100
click to vote
CN
2011
14 years 9 months ago
2011
Distributed Denial Of Service (DDoS) attacks are familiar threats to Internet users for more than ten years. Such attacks are carried out by a “Bot net”, an army of zombie hos...