10263 search results - page 371 / 2053 » From Use Cases to System Operation Specifications |
184
click to vote
WER
2001
Springer
16 years 19 hour ago
2001
Springer
A survey of different types of prototypes and current prototyping methods is presented. Especially the usage of prototypes with use cases and scenarios is investigated, and an appr...
199
click to vote
LREC
2008
15 years 9 months ago
2008
The IDEX system is a prototype of an interactive dynamic Information Extraction (IE) system. A user of the system expresses an information request in the form of a topic descripti...
174
click to vote
CCIA
2009
Springer
15 years 8 months ago
2009
Springer
Abstract. The operation of base contraction was successfully characterized for a very general class of logics using the notion of remainder sets. Although, in the general case, thi...
210
click to vote
FORMATS
2006
Springer
15 years 11 months ago
2006
Springer
Timed and weak timed simulation relations are often used to show that operations on hybrid systems result in equivalent behavior or in conservative overapproximations. Given that s...
195
click to vote
SIGOPS
2008
15 years 7 months ago
2008
In Linux, applications like su and login currently run as root in order to access authentication information and set or alter the identity of the process. In such cases, if the ap...