2153 search results - page 132 / 431 » From Requirements Models to Formal Specifications in B |
103
click to vote
FUIN
2006
14 years 10 months ago
2006
In recent years light-weighted formal methods are of growing interest in construction and analysis of complex concurrent software system. A new rule-action based term rewriting fr...
AGTIVE
2007
Springer
15 years 4 months ago
2007
Springer
In collaborative ontology engineering, contexts are key to manage the complexity of different dependency types between ontological artefacts. Instead of being frustrated by out-of...
108
click to vote
GLVLSI
2007
IEEE
15 years 1 months ago
2007
IEEE
he abstract and simple computation and communication mechanism in the synchronous computational model it is easy to simulate synchronous systems and to apply formal verification m...
191
click to vote
ICDE
2009
IEEE
15 years 11 months ago
2009
IEEE
Information extraction from text databases is a useful paradigm to populate relational tables and unlock the considerable value hidden in plain-text documents. However, information...
ASPLOS
2008
ACM
14 years 12 months ago
2008
ACM
Increasing demand for power-efficient, high-performance computing requires tuning applications and/or the underlying hardware to improve the mapping between workload heterogeneity...