592 search results - page 27 / 119 » CTL Model Update: Semantics, Computations and Implementation |
AINA
2011
IEEE
13 years 19 days ago
2011
IEEE
—Currently the user’s web search is disjoint from the resources which is subsequently browsed. Specifically the related instances of the search are not displayed on the followi...
ICSM
2000
IEEE
14 years 1 months ago
2000
IEEE
Software has for a long time been used for controlling different systems. Today, there is a trend towards integrating software into consumer electronics, home appliances, cars etc...
ICDCS
2005
IEEE
14 years 2 months ago
2005
IEEE
The lack of a flexible consistency management solution hinders P2P implementation of applications involving updates, such as read-write file sharing, directory services, online ...
POPL
1996
ACM
14 years 1 months ago
1996
ACM
that defines abstract costs for measuring or analyzing the performance of computations, (2) to supply the users with a mapping of these costs onto runtimes on various machine model...
ENTCS
2008
13 years 9 months ago
2008
Orc is a language for orchestration of web services developed by J. Misra that offers simple, yet powerful and elegant, constructs to program sophisticated web orchestration appli...