6239 search results - page 983 / 1248 » From Zinc to Design Model |
161
click to vote
ATVA
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. This paper argues that flatness appears as a central notion in the verification of counter automata. A counter automaton is called flat when its control graph can be ...
180
click to vote
AVBPA
2005
Springer
16 years 7 days ago
2005
Springer
Abstract. We propose a relevance feedback system for retrieving a mental face picture from a large image database. This scenario differs from standard image retrieval since the ta...
164
click to vote
CSCW
2004
ACM
16 years 3 days ago
2004
ACM
A framework is described for analyzing keystroke level data from instant messages (IM). This is unlike other analyses of IM which employ server-based logs of messages. This framew...
169
click to vote
CASSIS
2004
Springer
16 years 2 days ago
2004
Springer
The ESC/Java tool was a lauded advance in effective static checking of realistic Java programs, but has become out-of-date with respect to Java and the Java Modeling Language (JML...
162
click to vote
EMSOFT
2004
Springer
16 years 2 days ago
2004
Springer
Until recently, in the automotive industry, reuse of software has entirely been a typical activity of suppliers. They try to reduce the increasing software development costs that ...