928 search results - page 78 / 186 » Interpolation-sequence based model checking |
121
Voted
FORTE
2007
15 years 4 months ago
2007
Behavioural protocols are beneficial to Component-Based Software Engineering and Service-Oriented Computing as they foster automatic procedures for discovery, composition, composi...
94
Voted
CGVR
2006
15 years 3 months ago
2006
Conflict problem is one of the major issues in Collaborative CAD systems. Based on a flexible multi-user interaction framework for replicated Collaborative Solid Modeling (CSM) sys...
119
click to vote
FASE
2005
Springer
15 years 8 months ago
2005
Springer
Model-checking is becoming an accepted technique for debugging hardware and software systems. Debugging is based on the “Check / Analyze / Fix” loop: check the system against a...
104
Voted
FAC
2008
15 years 2 months ago
2008
We extend the approach of model checking parameterized networks of processes by means of network invariants to the setting of real-time systems. We introduce timed transition stru...
138
click to vote
CIKM
2010
Springer
15 years 1 months ago
2010
Springer
This work presents a general rank-learning framework for passage ranking within Question Answering (QA) systems using linguistic and semantic features. The framework enables query...