4139 search results - page 557 / 828 » Designing and Implementing Combinator Languages |
150
click to vote
ICDCSW
2006
IEEE
15 years 11 months ago
2006
IEEE
This paper presents Contory, a middleware specifically deployed to support provisioning of context information on mobile devices such as smart phones. Contory integrates multiple...
127
click to vote
HT
2006
ACM
15 years 11 months ago
2006
ACM
Metadata attempts to describe the content, format, purpose and structure of data. Over the past few years, the IEEE-LOM standard has dominated the metadata world in e-learning app...
126
Voted
SIGCSE
2006
ACM
15 years 11 months ago
2006
ACM
We argue that the failure to separate the concerns in CS1 is the leading cause of difficulty in teaching OOP in the first year. We show how the concerns can be detangled and prese...
130
click to vote
SEFM
2005
IEEE
15 years 10 months ago
2005
IEEE
The formal description technique RT-LOTOS has been selected as intermediate language to add formality to a real-time UML profile named TURTLE. For this sake, an RT-LOTOS verificat...
136
Voted
KCAP
2005
ACM
15 years 10 months ago
2005
ACM
For decades, researchers in knowledge representation (KR) have argued for and against various choices in KR formalisms, such as Rules, Frames, Semantic nets, and Formal logic. In ...