1157 search results - page 73 / 232 » Descriptive Complexity and Model Checking |
ACL
1993
14 years 11 months ago
1993
This paper describes the problems faced while using Kimmo's two-level model to describe certain Indian languages such as Tamil and Hindi. The two-level model is shown to be d...
ESEM
2010
ACM
14 years 7 months ago
2010
ACM
Functional Size Measures are often used for effort estimation. However, these measures do not take into account the amount and complexity of elaboration required, concentrating in...
117
click to vote
DLOG
2006
14 years 11 months ago
2006
The novel context of accessing and querying large data repositories through ontologies that are formalized in terms of expressive DLs requires on the one hand to consider query an...
FM
2003
Springer
15 years 3 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
102
click to vote
IPPS
2010
IEEE
14 years 7 months ago
2010
IEEE
Abstract--Ensuring the correctness of complex implementations of software transactional memory (STM) is a daunting task. Attempts have been made to formally verify STMs, but these ...