6239 search results - page 983 / 1248 » From Zinc to Design Model |
185
click to vote
ATVA
2005
Springer
16 years 24 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 ...
212
click to vote
AVBPA
2005
Springer
16 years 24 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...
189
click to vote
CSCW
2004
ACM
16 years 21 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...
187
click to vote
CASSIS
2004
Springer
16 years 20 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...
189
click to vote
EMSOFT
2004
Springer
16 years 20 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 ...