3713 search results - page 645 / 743 » Constructing a Calculus of Programs |
ICDCS
2005
IEEE
14 years 3 months ago
2005
IEEE
We consider distributed applications that continuously stream data across the network, where data needs to be aggregated and processed to produce a 'useful' stream of up...
ICMCS
2005
IEEE
14 years 3 months ago
2005
IEEE
We present a novel single source peer-to-peer multicast architecture called GridMedia which mainly consists of 1) multi-sender based overlay multicast protocol (MSOMP) and 2) mult...
SKG
2005
IEEE
14 years 3 months ago
2005
IEEE
The upcoming next generation of the internet, often referred to as the Semantic Web, will bring a lot of new technologies, one of which is the Web Ontology Language (OWL). One fea...
TRIDENTCOM
2005
IEEE
14 years 3 months ago
2005
IEEE
Wireless mesh networks have increasingly become an object of interest in recent years as a strong alternative to purely wired infrastructure networks and purely mobile wireless ne...
PASTE
2005
ACM
14 years 3 months ago
2005
ACM
Today, many formal analysis tools are not only used to provide certainty but are also used to debug software systems – a role that has traditional been reserved for testing tool...