5838 search results - page 809 / 1168 » A File System for System Programming in Ubiquitous Computing |
171
click to vote
ICDCSW
2000
IEEE
15 years 10 months ago
2000
IEEE
Model-checking has turned out to be an efficient and relatively easy-to-use technique in the verification of formally described programs. However, there is one major drawback in u...
209
click to vote
TLCA
1995
Springer
15 years 10 months ago
1995
Springer
operator abstraction is a language construct relevant to object oriented programming languages and to ML2000, the successor to Standard ML. In this paper, we introduce Fω ≤, a ...
188
click to vote
AMAST
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Declarative debugging has been applied to many declarative programming paradigms; in this paper, a declarative debugger for rewriting logic specifications, embodied in th...
130
click to vote
IPPS
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract--Multicore shared-memory architectures are becoming prevalent but bring many programming challenges. Among the biggest is non-determinism: the output of the program does n...
235
click to vote
ECTEL
2009
Springer
15 years 4 months ago
2009
Springer
Successful self-regulated learning in a personalized learning environment (PLE) requires self-monitoring of the learner and reflection of learning behaviour. We introduce a tool ca...