5550 search results - page 73 / 1110 » Different Approaches to Proof Systems |
164
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
The Hoare approach to program verification relies on the construction and discharge of verification conditions (VCs) but offers no support to trace, analyze, and understand the VCs...
192
click to vote
INFSOF
2008
15 years 6 months ago
2008
Aspect-based refactoring, called aspectualization, involves moving program code that implements cross-cutting concerns into aspects. Such refactoring can improve the maintainabili...
152
click to vote
ACL
2003
15 years 7 months ago
2003
Multimodal dialogue systems allow users to input information in multiple modalities. These systems can handle simultaneous or sequential composite multimodal input. Different coor...
147
click to vote
EUROPAR
2003
Springer
15 years 11 months ago
2003
Springer
Efficient discovery and resource allocation is one of the challenges of current Peer-to-Peer systems. In centralized approaches, the user requests can be matched to the fastest, ch...
174
click to vote
DKE
2010
15 years 6 months ago
2010
UML class-based models and OWL ontologies constitute modeling approaches with different strength and weaknesses that make them appropriate for specifying different aspects of soft...