1744 search results - page 254 / 349 » What's There to Talk About |
ICSE
2010
IEEE-ACM
14 years 2 months ago
2010
IEEE-ACM
Though verification tools are finding industrial use, the utility of engineering optimizations that make them scalable and usable is not widely known. Despite the fact that seve...
ITS
2010
Springer
14 years 2 months ago
2010
Springer
The use of technology for instruction, and the enormous amount of information available for consumption, places a considerable burden on instructors who must learn to integrate app...
PERSUASIVE
2010
Springer
14 years 1 months ago
2010
Springer
What are the benefits and drawbacks of integrating health and wellness interventions into existing online social network websites? In this paper, we report on a case study of deplo...
C5
2009
IEEE
14 years 1 months ago
2009
IEEE
In this paper we introduce a concept of how the status of project partners in a virtual collaboration environment can be transferred in a subtle manner to gain useful information ...
OOPSLA
2009
Springer
14 years 1 months ago
2009
Springer
In this paper we explore the idea that the code that constitutes a program actually forms a higher-level, program specific language. The symbols of the language are the abstracti...