3147 search results - page 227 / 630 » Open-Source Model Checking |
110
click to vote
CHI
2010
ACM
15 years 7 months ago
2010
ACM
We introduce a programming environment entitled Share that is designed to encourage loosely bound cooperation between individuals within communities of practice through the sharin...
124
click to vote
ECOOP
2007
Springer
15 years 7 months ago
2007
Springer
With the advent of Java 5 annotations, we note a marked increase in the availability of tools that can statically detect potential null dereferences. For such tools to be truly eff...
127
Voted
ECTEL
2006
Springer
15 years 7 months ago
2006
Springer
iCamp is an EC-funded research project in the area of Technology Enhanced Learning (TEL) that aims to support collaboration and social networking across systems, countries and disc...
120
click to vote
CIMCA
2008
IEEE
15 years 5 months ago
2008
IEEE
This paper describes a portlet-based portal that provides user interfaces for access a Grid-based elearning platform. E-learning platforms that exploit resources and computing pow...
155
click to vote
FPL
2008
Springer
15 years 4 months ago
2008
Springer
This paper examines the opportunity of using compression for accelerating the (re)configuration of FPGA devices, focusing on the choice of compression algorithms, and their hardwa...