1525 search results - page 224 / 305 » Formal Models for Communication-Based Design |
92
Voted
ICFP
2006
ACM
16 years 20 days ago
2006
ACM
The problem of expressing I/O and side effects in functional languages is a well-established one. This paper addresses this problem from a general semantic viewpoint by giving a u...
116
click to vote
ICEBE
2007
IEEE
15 years 7 months ago
2007
IEEE
In the development process of a B2B system it is crucial that the business experts are able to express and evaluate agreements and commitments between the partners and that the so...
116
Voted
IWCMC
2006
ACM
15 years 6 months ago
2006
ACM
Securing multicast communications in ad hoc networks has become one of the most challenging research directions in the areas of wireless networking and security. This is especiall...
106
Voted
IUI
2005
ACM
15 years 6 months ago
2005
ACM
This paper describes an Intelligent Shopping Assistant designed for a shopping cart mounted tablet PC that enables individual interactions with customers. We use machine learning ...
COLING
2000
15 years 2 months ago
2000
A translation is a conversion from a source language into a target language preserving the meaning. A huge number of techniques and computational approaches have been experimented...