130 search results - page 13 / 26 » Model Checking of Analog Systems using an Analog Specificati... |
113
Voted
KBSE
2005
IEEE
15 years 7 months ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
98
Voted
ACL
2000
15 years 3 months ago
2000
Extractive summarization techniques cannot generate document summaries shorter than a single sentence, something that is often required. An ideal summarization system would unders...
122
Voted
SIGSOFT
2007
ACM
16 years 2 months ago
2007
ACM
When enacting a web service orchestration defined using the Business Process Execution Language (BPEL) we observed various safety property violations. This surprised us considerab...
90
Voted
AI
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. In the GRAAD project we are developing a knowledgebased system able of determine routes in a simulated urban environment and to generate natural language descriptions whi...
122
click to vote
TPHOL
1998
IEEE
15 years 6 months ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...