539 search results - page 60 / 108 » The Semantic Gap of Formalized Meaning |
COMCOM
1998
14 years 11 months ago
1998
Many researchers are devising algorithms for task placement in distributed systems, but few are designing the necessary mechanisms to provide the information required by those alg...
TLDI
2003
ACM
15 years 5 months ago
2003
ACM
We develop a logic for reasoning about adjacency and separation of memory blocks, as well as aliasing of pointers. We provide a memory model for our logic and present a sound set ...
117
click to vote
POPL
2012
ACM
13 years 7 months ago
2012
ACM
There has been great interest in creating probabilistic programming languages to simplify the coding of statistical tasks; however, there still does not exist a formal language th...
KBS
2010
14 years 10 months ago
2010
The users of a content repository express the semantics they have in mind while defining the content items and their properties, and forming them into a particular hierarchy. How...
ICSE
2003
IEEE-ACM
15 years 12 months ago
2003
IEEE-ACM
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...