2092 search results - page 166 / 419 » A Theory of Non-Deterministic Networks |
ICFP
2005
ACM
16 years 9 days ago
2005
ACM
We present a new approach to the old problem of adding side effects to purely functional languages. Our idea is to extend the language with "witnesses," which is based o...
95
Voted
CAV
2009
Springer
15 years 7 months ago
2009
Springer
Systems and Networks on Chips (NoCs) are a prime design focus of many hardware manufacturers. In addition to functional verification, which is a difficult necessity, the chip desi...
114
click to vote
PRIMA
2009
Springer
15 years 6 months ago
2009
Springer
Service-Oriented Architectures (SOA) provide infrastructures to make resources available to other participants in the network as independent services. However, service providers, n...
103
Voted
SEMCO
2007
IEEE
15 years 6 months ago
2007
IEEE
In this paper, we propose a novel method for generating engaging multi-modal content automatically from text. Rhetorical Structure Theory (RST) is used to decompose text into disc...
FCT
2007
Springer
15 years 6 months ago
2007
Springer
We propose and study a new information transmission problem motivated by today’s internet. A real number, perhaps representing control information in a network, is encoded using...