8768 search results - page 40 / 1754 » Generalizing the notion of support |
171
click to vote
SIGCOMM
1995
ACM
15 years 9 months ago
1995
ACM
Reliable multicast communication is important in large-scale distributed applications. For example, reliable multicast is used to transmit terrain and environmental updates in dis...
151
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. The motivation for this work is to support a natural separation of concerns during formal system development. In a developmentby-refinement context, we would like to be a...
156
click to vote
CADE
2005
Springer
15 years 8 months ago
2005
Springer
We present the CoRe calculus for contextual reasoning which supports reasoning directly at the assertion level, where proof steps are justified in terms of applications of defini...
144
click to vote
ECIS
2004
15 years 7 months ago
2004
The authors present the Context Engineering (CE) approach to Information Systems Development (ISD) as a framework to organise ideas about previous development experience and to gu...
167
click to vote
CORR
2004
Springer
15 years 6 months ago
2004
Springer
: The semantic Web initiates new, high level access schemes to online content and applications. One area of superior need for a redefined content exploration is given by on-line ed...