1356 search results - page 150 / 272 » A variable-free dynamic semantics |
155
click to vote
EMSOFT
2004
Springer
15 years 9 months ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
124
Voted
ICFP
2004
ACM
16 years 3 months ago
2004
ACM
Even in statically typed languages it is useful to have certain invariants checked dynamically. Findler and Felleisen gave an algorithm for dynamically checking expressive higher-...
126
Voted
TC
2002
15 years 3 months ago
2002
This paper describes a group communication system called the timewheel group communication system that has been designed for a timed asynchronous distributed system model. The tim...
135
Voted
PVLDB
2008
15 years 3 months ago
2008
Unlike traditional database queries, keyword queries do not adhere to predefined syntax and are often dirty with irrelevant words from natural languages. This makes accurate and e...
147
Voted
SAC
2008
ACM
15 years 3 months ago
2008
ACM
This paper presents a methodology to derive a Supply Chain Management Ontology based on the RosettaNet specification framework. A prototype to mechanically derive a core ontology ...