3040 search results - page 271 / 608 » Synergetic Tool Environments |
147
click to vote
TPHOL
2009
IEEE
16 years 1 months ago
2009
IEEE
VCC is an industrial-strength verification environment for low-level concurrent system code written in C. VCC takes a program (annotated with function contracts, state assertions,...
173
click to vote
CSCWD
2009
Springer
16 years 1 months ago
2009
Springer
We present a case study of an international distance education course involving two sites in the US and one site in Pakistan. We use the case study to examine the elements of the ...
165
click to vote
ICALT
2008
IEEE
16 years 1 months ago
2008
IEEE
Nowadays most universities use different distance learning environments. However in the educational process besides forums, chats and other collaborative possibilities the content...
193
click to vote
ECUMN
2007
Springer
16 years 25 days ago
2007
Springer
Context-based access control is an emerging approach for modeling adaptive solution, making access control management more flexible and powerful. But in the ubiquitous environment...
169
click to vote
MICAI
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. In this paper we utilize information theory to study the impact in learning performance of various motivation and environmental configurations. This study is done within...