5090 search results - page 786 / 1018 » Constructing Strategies for Programming |
189
click to vote
TVCG
2010
15 years 5 months ago
2010
Abstract—We investigate the design of declarative, domain-specific languages for constructing interactive visualizations. By separating specification from execution, declarativ...
255
click to vote
IFM
2010
Springer
15 years 4 months ago
2010
Springer
Safe is a first-order eager functional language with facilities for programmer controlled destruction and copying of data structures. It provides also regions, i.e. disjoint parts...
194
click to vote
PERCOM
2010
ACM
15 years 4 months ago
2010
ACM
By nature, ubiquitous computing applications are intimately intertwined with users' everyday life. This situation is challenging because it requires to make the development of...
216
click to vote
IFIP
2010
Springer
15 years 1 months ago
2010
Springer
This paper formalizes the semantics of trust and studies the transitivity of trust. On the Web, people and software agents have to interact with "strangers". This makes ...
223
click to vote
CEC
2010
IEEE
14 years 10 months ago
2010
IEEE
— Efficient vehicle path planning in hostile environment to carry out rescue or tactical logistic missions remains very challenging. Most approaches reported so far relies on key...