1350 search results - page 137 / 270 » Reasoning about Staged Computation |
155
click to vote
FTDCS
2004
IEEE
15 years 9 months ago
2004
IEEE
Web services are essentially black box components from a composer's or a mediator's perspective. The behavioural description of any service can be asserted by the compos...
148
click to vote
BIRTHDAY
2008
Springer
15 years 7 months ago
2008
Springer
Name passing calculi are nowadays an established field on its own. Besides their practical relevance, they offered an intriguing challenge, since the standard operational, denotati...
157
click to vote
BIRTHDAY
2005
Springer
15 years 7 months ago
2005
Springer
Software engineers usually represent problems and solutions aph-based notations at different levels of abstractions. These notations are often semi-formal, but the use of graph tr...
170
click to vote
COORDINATION
2008
Springer
15 years 7 months ago
2008
Springer
Context-aware applications adapt their behavior depending on changes in their environment context. Programming such applications in a modular way requires to modularize the global ...
166
click to vote
DSN
2008
IEEE
15 years 7 months ago
2008
IEEE
Fault-tolerant, replicated file systems are a crucial component of today's data centers. Despite their huge complexity, these systems are typically specified only in brief pr...