Sciweavers

3813 search results - page 653 / 763
» Advanced Interaction in Context
Sort
View
ECTEL
2007
Springer
16 years 16 days ago
Remote Cooperation on Project-centred Learning: a Working Implemented Solution in Academia
The paper aims at illustrating the original technical solution provided within an academic institute in order to manage teaching activities, encompassing the coordination of projec...
Carola Salvioni, Antonio Vincenzo Taddeo
PEPM
2007
ACM
16 years 15 days ago
Tasks: language support for event-driven programming
The event-driven programming style is pervasive as an efficient method for interacting with the environment. Unfortunately, the event-driven style severely complicates program mai...
Jeffrey Fischer, Rupak Majumdar, Todd D. Millstein
TACAS
2007
Springer
125views Algorithms» more  TACAS 2007»
16 years 14 days ago
Type-Dependence Analysis and Program Transformation for Symbolic Execution
Symbolic execution can be problematic when applied to real applications. This paper addresses two of these problems: (1) the constraints generated during symbolic execution may be ...
Saswat Anand, Alessandro Orso, Mary Jean Harrold
AICT
2006
IEEE
16 years 13 days ago
Web Services Roadmap: The Semantic Web Perspective
Recently the field of Web services has gained focus both in industry and academia. While industry has been mostly interested in standardisation and promotion of the technology, a...
Peep Küngas, Mihhail Matskin
ANSS
2006
IEEE
16 years 13 days ago
Grid-Boxing for Spatial Simulation Performance Optimisation
— Computer simulations of complex systems such as physical aggregation processes or swarming and collective behaviour of life-forms, often require order N-squared computational c...
Kenneth A. Hawick, Heath A. James, C. J. Scogings