2881 search results - page 205 / 577 » Model Checking for Programming Languages using Verisoft |
178
click to vote
JCIT
2010
15 years 1 months ago
2010
This study explores the construction of an intermediary as a product knowledge-sharing system for design industry with the advanced features of the Extensible Markup Language (XML...
176
click to vote
ACTA
2010
15 years 6 months ago
2010
This paper describes an effective verification procedure for imperative programs that handle (balanced) tree-like data structures. Since the verification problem considered is unde...
163
click to vote
UM
2001
Springer
15 years 10 months ago
2001
Springer
The objective of this research is the exploration how affective knowledge used in global controlling mechanisms for public information systems with lifelike presentation agents wil...
147
click to vote
IPPS
2007
IEEE
16 years 20 days ago
2007
IEEE
Model checking, logging, debugging, and checkpointing/recovery are great tools to identify bugs in small sequential programs. The direct application of these techniques to the dom...
174
click to vote
CICLING
2010
Springer
15 years 11 months ago
2010
Springer
Sentence compression is a valuable task in the framework of text summarization. In this paper we compress sentences from news articles from Dutch and Flemish newspapers written in ...