10263 search results - page 180 / 2053 » From Use Cases to System Operation Specifications |
190
click to vote
FM
1999
Springer
15 years 11 months ago
1999
Springer
ÐIn this paper, we describe the incremental specification of a power transformer station controller using a controller synthesis methodology. We specify the main requirements as s...
240
click to vote
TIT
2010
15 years 1 months ago
2010
This paper considers the construction and analysis of pseudo-random functions (PRFs) with specific reference to modes of operations of a block cipher. In the context of message aut...
195
click to vote
CSMR
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper describes a case study that uses clustering to group classes of an existing objectoriented system of significant size into subsystems. The clustering process is based o...
213
click to vote
IMC
2010
ACM
15 years 5 months ago
2010
ACM
Router syslogs are messages that a router logs to describe a wide range of events observed by it. They are considered one of the most valuable data sources for monitoring network ...
194
click to vote
FLAIRS
2004
15 years 8 months ago
2004
People have the ability to perceive biological motion under conditions of severely limited visual information. If the information is in the form of a point-light motion sequence o...