2135 search results - page 330 / 427 » An Operational Semantics for JavaScript |
118
click to vote
CONCUR
2009
Springer
15 years 9 months ago
2009
Springer
Nondeterministic weighted automata are finite automata with numerical weights on transitions. They define quantitative languages L that assign to each word w a real number L(w). ...
140
Voted
HPDC
2008
IEEE
15 years 9 months ago
2008
IEEE
If the model of free-form queries, which has proved successful for HTML based search on the Web, is made available for Grid services, it will serve as a powerful tool for scientis...
124
click to vote
QSIC
2005
IEEE
15 years 8 months ago
2005
IEEE
Database application programs typically contain program units that use SQL statements to manipulate records in database instances. Testing the correctness of data manipulation by ...
114
Voted
LPNMR
1997
Springer
15 years 6 months ago
1997
Springer
This paper introduces power default reasoning (PDR), a framework for nonmonotonic reasoning based on the domain-theoretic idea of modeling default rules with partial-information i...
150
Voted
SMA
1993
ACM
15 years 6 months ago
1993
ACM
Form features present a rather attractive building block in computer-aided design environments for a variety of applications, providing the embodiment of engineering semantics in ...