Sciweavers

5343 search results - page 616 / 1069
» Keyword programming in java
Sort
View
PLDI
2006
ACM
16 years 22 days ago
Specifying distributed trust management in LolliMon
We propose the monadic linear logic programming language LolliMon as a new foundation for the specification of distributed trust management systems, particularly the RT framework...
Jeff Polakow, Christian Skalka
CHI
2004
ACM
16 years 6 days ago
How do users think about ubiquitous computing?
As ubiquitous computing technology migrates into the home environment, there has been a concurrent effort to allow users to build and customize such technologies to suit their own...
Khai N. Truong, Elaine M. Huang, Molly M. Stevens,...
183
Voted
SIGCSE
2004
ACM
112views Education» more  SIGCSE 2004»
16 years 5 days ago
Using software testing to move students from trial-and-error to reflection-in-action
Introductory computer science students rely on a trial and error approach to fixing errors and debugging for too long. Moving to a reflection in action strategy can help students ...
Stephen H. Edwards
207
Voted
ERLANG
2007
ACM
15 years 10 months ago
An Erlang framework for autonomous mobile robots
This paper presents an Erlang-based framework, developed by the authors, for the realisation of software systems for autonomous mobile robots. On the basis of the analysis of the ...
Corrado Santoro
236
Voted
CHI
2008
ACM
15 years 7 months ago
Testing vs. code inspection vs. what else?: male and female end users' debugging strategies
Little is known about the strategies end-user programmers use in debugging their programs, and even less is known about gender differences that may exist in these strategies. With...
Neeraja Subrahmaniyan, Laura Beckwith, Valentina G...