2135 search results - page 149 / 427 » An Operational Semantics for JavaScript |
IANDC
2010
13 years 7 months ago
2010
Categorial grammars in the tradition of Lambek [18, 19] are asymmetric: sequent statements are of the form Γ ⇒ A, where the succedent is a single formula A, the antecedent a st...
SAC
2010
ACM
14 years 4 months ago
2010
ACM
KAOS is a goal directed requirements engineering framework based on the decomposition and refinement of goals. Decomposition and refinement continue until a point is reached at ...
SEKE
2009
Springer
14 years 3 months ago
2009
Springer
Abstract—Stakeholders from several domains with local terminologies have to work together to develop and operate softwareintensive systems, like production automation systems. On...
MDM
2007
Springer
14 years 3 months ago
2007
Springer
Several window constructs are usually specified in continuous queries over data streams as a means of limiting the amount of data processed each time and thus providing real-time...
WEBDB
2007
Springer
14 years 3 months ago
2007
Springer
This paper pursues the recently emerging paradigm of searching for entities that are embedded in Web pages. We utilize informationextraction techniques to identify entity candidat...