10055 search results - page 1311 / 2011 » Structured programming using processes |
208
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
Abstract: Model based testing promises systematic test coverage in a continuous testing process. However, in practice, model based testing struggles with informal specifications, d...
191
click to vote
TVCG
2012
13 years 9 months ago
2012
—The Morse-Smale complex is a useful topological data structure for the analysis and visualization of scalar data. This paper describes an algorithm that processes all mesh eleme...
176
click to vote
SIGIR
2006
ACM
16 years 27 days ago
2006
ACM
The aim of this study is to investigate whether element retrieval (as opposed to full-text retrieval) is meaningful and useful for searchers when carrying out information-seeking ...
210
click to vote
IEEESCC
2005
IEEE
16 years 16 days ago
2005
IEEE
An important aspect of service-centric systems (i.e. systems composed of services) is the ability to support service discovery at run-time in order to cope with unavailable or mal...
172
click to vote
ICDT
2001
ACM
15 years 11 months ago
2001
ACM
XML data is often used (validated, stored, queried, etc) with respect to di erent types. Understanding the relationship between these types can provide important information for ma...