Sciweavers

12452 search results - page 261 / 2491
» An exploration of program as language
Sort
View
154
Voted
ATAL
2007
Springer
16 years 27 days ago
Practical extensions in agent programming languages
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...
Mehdi Dastani, Dirk Hobo, John-Jules Ch. Meyer
IPSN
2009
Springer
16 years 1 months ago
Archetype-based design: Sensor network programming for application experts, not just programming experts
Sensor network application experts such as biologists, geologists, and environmental engineers generally have little experience with, and little patience for, general-purpose and ...
Lan S. Bai, Robert P. Dick, Peter A. Dinda
UM
2005
Springer
16 years 5 days ago
The Impact of Link Suggestions on User Navigation and User Perception
Abstract. The study reported in this paper explores the effects of providing web users with link suggestions that are relevant to their tasks. Results indicate that link suggestion...
Ion Juvina, Eelco Herder
SIGCSE
1996
ACM
136views Education» more  SIGCSE 1996»
15 years 10 months ago
Thinking about binary trees in an object-oriented world
The Binary Search Tree serves as an important example when teaching data structures. We explore new approaches to understanding the implementation of a Binary Search Tree, using c...
A. Michael Berman, Robert C. Duvall
ICFEM
2000
Springer
15 years 10 months ago
Formal Treatment of a Family of Fixed-Point Problems on Graphs by CafeOBJ
A family of well known problems on graphs includingthe shortest path problem and the data flow analysis problem can be uniformly formulated as a fixed-point problem on graphs. We ...
Tetsuo Tamai