570 search results - page 33 / 114 » SGNET: Implementation insights |
PLILP
1995
Springer
14 years 1 days ago
1995
Springer
We use Girard's linear logic (LL) to produce a semantics for Gamma, a multiset transformation language. The semantics improves on the existing structured operational semantics...
ACMDIS
2008
ACM
13 years 10 months ago
2008
ACM
Ambient lifestyle feedback systems are embedded computer systems designed to motivate changes in a person's lifestyle by reflecting an interpretation of targeted behavior bac...
ICDCS
2010
IEEE
13 years 10 months ago
2010
IEEE
Due to the lack of multicast services in the Internet, applications based on single source multiple destinations transfers such as video conferencing, IP radio, IPTV must use unica...
CANDC
2007
ACM
13 years 10 months ago
2007
ACM
Every musician who improvises has a unique musical vocabulary, which may be perceived in his or her compositions. In this paper, we explain our design of a computational model tha...
EUC
2008
Springer
13 years 10 months ago
2008
Springer
Satisfying the varied privacy preferences of individuals, while exposing context data to authorized applications and individuals, remains a major challenge for context-aware compu...