2135 search results - page 270 / 427 » An Operational Semantics for JavaScript |
109
click to vote
ICDT
1995
ACM
15 years 6 months ago
1995
ACM
Partial information in databases can arise when information from several databases is combined. Even if each database is complete for some \world", the combined databases wil...
134
click to vote
CSFW
2010
IEEE
15 years 6 months ago
2010
IEEE
We embed an operational semantics for security protocols in the interactive theorem prover Isabelle/HOL and derive two strong protocol-independent invariants. These invariants allo...
113
click to vote
EKAW
2008
Springer
15 years 4 months ago
2008
Springer
Sensor-mission assignment involves the allocation of sensor and other information-providing resources to missions in order to cover the information needs of the individual tasks in...
132
click to vote
ESWS
2008
Springer
15 years 4 months ago
2008
Springer
A lot of work has been done in the area of data stream processing. Most of the previous approaches regard only relational or XML based streams but do not cover semantically richer ...
127
click to vote
LREC
2010
15 years 4 months ago
2010
The paper presents Bulgarian National Corpus project (BulNC) - a large-scale, representative, online available corpus of Bulgarian. The BulNC is also a monolingual general corpus,...