2173 search results - page 17 / 435 » An operational semantics for skeletons |
120
click to vote
APSEC
1997
IEEE
15 years 6 months ago
1997
IEEE
SOFL (Structured-Object-Based-Formal Language) is a formal language and method for practical systems development. As a language, it integrates data ow diagrams, VDM-SL, and Petri ...
118
click to vote
ESWS
2008
Springer
15 years 3 months ago
2008
Springer
Instant Messaging is in addition to Web and Email the most popular service on the Internet. With xOperator we demonstrate the implementation of a strategy which deeply integrates I...
118
click to vote
ESWS
2008
Springer
15 years 3 months ago
2008
Springer
Instant Messaging (IM) is in addition to Web and Email the most popular service on the Internet. With xOperator we present a strategy and implementation which deeply integrates Ins...
ENTCS
2008
15 years 2 months ago
2008
In seeking a unified study of computational effects, in particular in order to give a general operational semantics agreeing with the standard one for state, one must take account...
DOLAP
2003
ACM
15 years 7 months ago
2003
ACM
In the last years, lots of work have been devoted to multidimensional modeling, star shape schemas and OLAP operations. However, “drill-across” has not captured as much attent...