2135 search results - page 232 / 427 » An Operational Semantics for JavaScript |
123
click to vote
CCGRID
2002
IEEE
15 years 8 months ago
2002
IEEE
In this work we present the Internet Backplane Protocol (IBP), a middleware created to allow the sharing of storage resources, implemented as part of the network fabric. IBP allow...
142
click to vote
ICEIS
2002
IEEE
15 years 8 months ago
2002
IEEE
: This work describes the features of the DOMINO (Database fOr MovINg Objects) system, which brings several novelties to the problem of managing moving objects databases. Our robus...
114
click to vote
IFL
1999
Springer
15 years 7 months ago
1999
Springer
Abstract. Most array operations in Sac are specified in terms of so-called withloops, a Sac-specific form of array comprehension. Due to the map-like semantics of with-loops its ...
128
click to vote
SAS
1999
Springer
15 years 7 months ago
1999
Springer
We define an operational semantics for the Signal language and design an analysis which allows to verify properties pertaining to the relation between values of the numeric and bo...
109
click to vote
DEXAW
1997
IEEE
15 years 7 months ago
1997
IEEE
Current workflow management systems (WFMSs) are only applicable in a reliable and secure manner, if the business process (BP) to be supported is wellstructured. As ad hoc deviatio...