1328 search results - page 236 / 266 » Design Patterns for Modelling Guidelines |
RIDE
1998
IEEE
15 years 1 months ago
1998
IEEE
Continuity of stream playback is the crucial constraint in designing a continuous media server. From a distributed memory architectural model developed earlier, we found that ther...
ASSISTIVE
1998
Springer
15 years 1 months ago
1998
Springer
People with severe speech and motor impairments SSMI can often use augmentative communication devices to help them communicate. While these devices can provide speech synthesis or ...
80
Voted
DSN
2007
IEEE
15 years 1 months ago
2007
IEEE
Model-checking of asynchronous distributed protocols is challenging because of the large size of the state and solution spaces. This paper tackles this problem in the context of l...
93
Voted
CSFW
2009
IEEE
15 years 1 months ago
2009
IEEE
We present the design and implementation of a compiler that, given high-level multiparty session descriptions, generates custom cryptographic protocols. Our sessions specify pre-a...
85
Voted
ETRICS
2006
15 years 1 months ago
2006
Abstract. Most intrusion detection systems deployed today apply misuse detection as detection procedure. Misuse detection compares the recorded audit data with predefined patterns,...