7766 search results - page 1267 / 1554 » Testing Nondeterminate Systems |
118
click to vote
ILC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. We aim at checking safety and temporal properties over models representing the behavior of programs manipulating dynamic singly-linked lists. The properties we consider n...
109
Voted
ILP
2007
Springer
15 years 7 months ago
2007
Springer
The management of business processes has recently received a lot of attention. One of the most interesting problems is the description of a process model in a language that allows ...
97
Voted
INEX
2007
Springer
15 years 7 months ago
2007
Springer
The Wikipedia XML collection turned out to be rich of marked-up phrases as we carried out our INEX 2007 experiments. Assuming that a phrase occurs at the inline level of the markup...
128
Voted
INEX
2007
Springer
15 years 7 months ago
2007
Springer
Abstract. Many realistic user tasks involve the retrieval of specific entities instead of just any type of documents. Examples of information needs include ‘Countries where one ...
122
click to vote
ISVC
2007
Springer
15 years 7 months ago
2007
Springer
Abstract: A new method for constructing a smooth surface that interpolates the vertices of an arbitrary mesh is presented. The mesh can be open or closed. Normals specified at ver...