Sciweavers

2135 search results - page 80 / 427
» An Operational Semantics for JavaScript
Sort
View
CSL
1999
Springer
14 years 1 months ago
A Truly Concurrent Semantics for a Simple Parallel Programming Language
Abstract. This paper represents the beginning of a study aimed at devising semantic models for true concurrency that provide clear distinctions between concurrency, parallelism and...
Paul Gastin, Michael W. Mislove
BNCOD
2008
129views Database» more  BNCOD 2008»
13 years 10 months ago
A Semantics for a Query Language over Sensors, Streams and Relations
Abstract. We introduce a query language over sensors, streams and relations and formally describe its semantics. Although the language was specifically designed for sensor network ...
Christian Y. A. Brenninkmeijer, Ixent Galpin, Alva...
ICDE
1999
IEEE
109views Database» more  ICDE 1999»
14 years 10 months ago
On the Semantics of Complex Events in Active Database Management Systems
Active database management systems have been developed for applications needing an automatic reaction in response to certain events. Events can be simple in nature or complex. Com...
Detlef Zimmer, Rainer Unland
GEOS
2007
Springer
14 years 3 months ago
Supporting Complex Thematic, Spatial and Temporal Queries over Semantic Web Data
Spatial and temporal data are critical components in many applications. This is especially true in analytical domains such as national security and criminal investigation. Often, t...
Matthew Perry, Amit P. Sheth, Farshad Hakimpour, P...
ESOP
2007
Springer
14 years 3 months ago
A Rewriting Semantics for Type Inference
When students first learn programming, they often rely on a simple operational model of a program’s behavior to explain how particular features work. Because such models build o...
George Kuan, David MacQueen, Robert Bruce Findler