1318 search results - page 252 / 264 » The formal semantics of the timeER model |
206
click to vote
HASKELL
2009
ACM
16 years 18 days ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
162
click to vote
EKAW
2004
Springer
15 years 11 months ago
2004
Springer
For more than a decade, ontologies have been proposed as a means to enable sharing and reuse of knowledge. While originally relatively narrow information landscapes have been in mi...
162
click to vote
KR
2004
Springer
15 years 11 months ago
2004
Springer
Disjunction is generally considered to add expressive power to logic programs under the stable model semantics, which have become a popular programming paradigm for knowledge repr...
177
click to vote
MIDDLEWARE
2004
Springer
15 years 11 months ago
2004
Springer
Application servers provide many functionalities commonly needed in the development of a complex distributed application. So far, the functionalities have mostly been developed an...
187
click to vote
AC
2000
Springer
15 years 10 months ago
2000
Springer
In these notes, we give an overview of the join calculus, its semantics, and its equational theory. The join calculus is a language that models distributed and mobile programming. ...