9974 search results - page 1424 / 1995 » Software Interconnection Models |
313
click to vote
POPL
2006
ACM
16 years 7 months ago
2006
ACM
We define a new fixpoint modal logic, the visibly pushdown ?-calculus (VP-?), as an extension of the modal ?-calculus. The models of this logic are execution trees of structured p...
182
click to vote
EUROSYS
2006
ACM
16 years 4 months ago
2006
ACM
Video-on-demand over IP (VOD) is one of the best-known examples of “next-generation” Internet applications cited as a goal by networking and multimedia researchers. Without em...
181
click to vote
SEAA
2008
IEEE
16 years 1 months ago
2008
IEEE
With the growing popularity of Web services, an increasing number of Web services have been integrated into and used by complex service oriented systems. As a result, the manageme...
193
click to vote
SEMWEB
2007
Springer
16 years 1 months ago
2007
Springer
Our research explores the possibilities for factoring culture into user models, working towards cultural adaptivity in the semantic web. The aim is to represent the user’s positi...
229
click to vote
ISORC
2002
IEEE
16 years 2 days ago
2002
IEEE
Object-oriented, concurrent, and event-based programming models provide a natural framework in which to express the behavior of distributed and embedded software systems. However,...