9370 search results - page 113 / 1874 » An Abstract Notion of Application |
183
click to vote
JMLC
2000
Springer
15 years 10 months ago
2000
Springer
A namespace is a mapping from labels to values. Most programming languages support different forms of namespaces, such as records, dictionaries, objects, environments, packages and...
159
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
Knowledge-based programs provide an abstract level of description of protocols in which agent actions are related to their states of knowledge. The paper describes how epistemic mo...
180
click to vote
HYBRID
2003
Springer
15 years 11 months ago
2003
Springer
Abstract. This paper describes the implementation of predicate abstraction techniques to automatically compute symbolic backward reachable sets of high dimensional piecewise affine...
142
click to vote
ICSM
2000
IEEE
15 years 10 months ago
2000
IEEE
Abstract- The size and complexity of hardware and soft
122
click to vote
JVM
2001
15 years 7 months ago
2001
d Abstract] Fuyuhiko Maruyama Tokyo Institute of Technology Tokyo, Japan Satoshi Matsuoka