412 search results - page 3 / 83 » Categories for the working mathematician: making the impossi... |
FASE
2008
Springer
13 years 7 months ago
2008
Springer
Services are developed separately and without knowledge of all possible use contexts. They often mismatch or do not correspond exactly to the end-user needs, making direct composit...
ICFP
2008
ACM
14 years 5 months ago
2008
ACM
Transactional events (TE) are an approach to concurrent programming that enriches the first-class synchronous message-passing of Concurrent ML (CML) with a combinator that allows ...
SWS
2004
ACM
13 years 10 months ago
2004
ACM
Through web service technology, distributed applications can be built in a exible manner, bringing tremendous power to applications on the web. However, this exibility poses sig...
CCS
2008
ACM
13 years 7 months ago
2008
ACM
Harvard architecture CPU design is common in the embedded world. Examples of Harvard-based architecture devices are the Mica family of wireless sensors. Mica motes have limited me...
SUM
2007
Springer
13 years 11 months ago
2007
Springer
Abstract. Probabilistic logic programs have primarily studied the problem of entailment of probabilistic atoms. However, there are some interesting applications where we are intere...