9370 search results - page 113 / 1874 » An Abstract Notion of Application |
116
Voted
JMLC
2000
Springer
15 years 4 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...
97
Voted
CORR
2010
Springer
15 years 25 days 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...
114
click to vote
HYBRID
2003
Springer
15 years 6 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...
88
Voted
ICSM
2000
IEEE
15 years 5 months ago
2000
IEEE
Abstract- The size and complexity of hardware and soft
JVM
2001
15 years 2 months ago
2001
d Abstract] Fuyuhiko Maruyama Tokyo Institute of Technology Tokyo, Japan Satoshi Matsuoka