5423 search results - page 754 / 1085 » Denial-of-service in automation systems |
151
click to vote
IUI
2005
ACM
16 years 12 days ago
2005
ACM
When designing mixed-initiative systems, full formalization of all potentially relevant knowledge may not be cost-effective or practical. This paper motivates the need for semi-fo...
161
click to vote
FROCOS
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. In this paper we combine rewriting techniques with verification issues. More precisely, we show how techniques for proving relative termination of term rewrite systems (...
186
click to vote
LPAR
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. We describe an environment that allows the users of the Theorema system to flexibly control aspects of computer-supported proof development. The environment supports the...
139
click to vote
UML
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Use Cases are widely used for specifying systems, but their semantics are unclear in ways that make it difficult to apply use cases to complex problems. In this paper, we...
148
click to vote
MM
2004
ACM
16 years 8 days ago
2004
ACM
We have built over the last few years an integrated browser and query interface for watching a movie synchronized with its script. The system is demonstrated with the movie ’The...