1604 search results - page 161 / 321 » Development Separation in Lambda-Calculus |
OZCHI
2006
ACM
14 years 4 months ago
2006
ACM
Table tennis is a game that can provide healthy exercise and is also a social pastime for players of all ages across the world. However, players have to be collocated to play, and...
WWW
2005
ACM
14 years 4 months ago
2005
ACM
XQBE (XQuery By Example, [1]), a visual dialect of XQuery, uses hierarchical structures to express transformations between XML documents. XSLT, the standard transformation languag...
CIKM
2005
Springer
14 years 4 months ago
2005
Springer
This paper presents a hybrid concept hierarchy development technique for web returned documents retrieved by a meta-search engine. The aim of the technique is to separate the init...
COORDINATION
2005
Springer
14 years 4 months ago
2005
Springer
With its decoupling of processes in space and time, the shared data space model has proven to be a well-suited solution for developing distributed component-based systems. However,...
ECAI
2004
Springer
14 years 4 months ago
2004
Springer
This paper presents a new model of agency, called the KGP (Knowledge, Goals and Plan) model. This draws from the classic BDI model and proposes a hierarchical agent architecture wi...