7139 search results - page 51 / 1428 » Language Engineering in Practice |
MODELS
2009
Springer
15 years 6 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
TAL
2004
Springer
15 years 5 months ago
2004
Springer
PLDI
2004
ACM
15 years 5 months ago
2004
ACM
Region-based memory management offers several important potential advantages over garbage collection, including real-time performance, better data locality, and more efficient us...
103
click to vote
ERSHOV
2009
Springer
15 years 6 months ago
2009
Springer
Abstract. A basic cornerstone of the Semantic Web are formal languages for describing resources in a clear and unambiguous way. Logical underpinnings facilitate automated reasoning...
CCS
2003
ACM
15 years 5 months ago
2003
ACM
This paper describes a system and annotation language, MECA, for checking security rules. MECA is expressive and designed for checking real systems. It provides a variety of pract...