1912 search results - page 369 / 383 » GOAL as a Planning Formalism |
CHI
2010
ACM
15 years 8 months ago
2010
ACM
CT Cellphones have the potential to improve education for the millions of underprivileged users in the developing world. However, mobile learning in developing countries remains un...
106
Voted
HICSS
2009
IEEE
15 years 8 months ago
2009
IEEE
Information systems (IS) researchers have made considerable progress on defining and formalizing structured methods to support collaborative development of information systems. Co...
94
Voted
ESWS
2009
Springer
15 years 8 months ago
2009
Springer
The primary goal of the Semantic Web is to use URIs as a universal space to name anything, expanding from using URIs for webpages to URIs for “real objects and imaginary concepts...
103
click to vote
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
Software correctness has bedeviled the field of computer science since its inception. Software complexity has increased far more quickly than our ability to control it, reaching ...
107
Voted
OOPSLA
2009
Springer
15 years 8 months ago
2009
Springer
In this paper we describe Ginger, a new language with first class support for literate programming. Literate programming refers to a philosophy that argues computer programs shou...