1356 search results - page 63 / 272 » A variable-free dynamic semantics |
FSTTCS
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. Synchronous languages are well suited for the design of dependable real-time systems: they enable a very high-level specification and an extremely modular implementation ...
EXPERT
2006
14 years 10 months ago
2006
ing organizational abstractions as first-class citizens in the design process.2,3 So, a promising approach would be to combine Semantic Web services4 and agent technologies5,6 for ...
ICDCS
2006
IEEE
15 years 4 months ago
2006
IEEE
Publish/Subscribe systems provide a useful platform for delivering data (events) from publishers to subscribers in an anonymous fashion in distributed networks. In this paper, we ...
101
click to vote
CSCWD
2007
Springer
15 years 4 months ago
2007
Springer
Business applications are more and more often developed on the basis of Web services. The aim is to provide platform independence and loose coupling between business applications ...
WWW
2008
ACM
15 years 10 months ago
2008
ACM
In this paper, we incorporate concrete domain and action theory into a very expressive Description Logic (DL), called ALCQO. Notably, this extension can significantly augment the ...