1402 search results - page 250 / 281 » A Practical Agent Programming Language |
118
click to vote
ICECCS
2006
IEEE
15 years 8 months ago
2006
IEEE
Being a successful technique in software practice, Object Orientation (OO) is a hot topic in academic research fields. Among many formalisms, rCOS, a refinement calculus of obje...
107
click to vote
VL
2005
IEEE
15 years 7 months ago
2005
IEEE
During our work with microfinance groups in rural India, we found that paper plays a crucial role in many local information practices. However, paperbased record keeping can be in...
108
click to vote
SENSYS
2005
ACM
15 years 7 months ago
2005
ACM
We consider configuration of wireless sensor networks, where certain functions must be automatically assigned to sensor nodes, such that the properties of a sensor node (e.g., rem...
122
click to vote
PPDP
2004
Springer
15 years 7 months ago
2004
Springer
We present a generalisation of first-order rewriting which allows us to deal with terms involving binding operations in an elegant and practical way. We use a nominal approach to...
117
click to vote
PODS
2010
ACM
15 years 7 months ago
2010
ACM
A generalization from string to trees and from languages to translations is given of the classical result that any regular language can be learned from examples: it is shown that ...