4890 search results - page 164 / 978 » From system specifications to component behavioral models |
152
click to vote
ICAIL
2003
ACM
15 years 11 months ago
2003
ACM
Robust decision support systems (DSSs) for crime investigation are difficult to construct because of the almost infinite variation of plausible crime scenarios. Thus, existing ap...
190
click to vote
ISORC
2000
IEEE
15 years 11 months ago
2000
IEEE
We describe a real-time, component-based system for an inspection application. We chose the inspection application and the accompanying task (or scenario) so that we might fully e...
152
click to vote
SIGSOFT
2007
ACM
16 years 7 months ago
2007
ACM
Message Sequence Charts (MSCs) are a widely used visual formalism for scenario-based specifications of distributed reactive systems. In its conventional usage, an MSC captures an ...
159
click to vote
SIGCOMM
2009
ACM
16 years 1 months ago
2009
ACM
By studying trouble tickets from small enterprise networks, we conclude that their operators need detailed fault diagnosis. That is, the diagnostic system should be able to diagno...
182
click to vote
CHI
2006
ACM
16 years 7 months ago
2006
ACM
In this paper, we describe our approach to designing interface components that automate the logging of user input. These recorded logs of user-system interactions can serve as a b...