5664 search results - page 925 / 1133 » Creativity support tools |
139
click to vote
ECTEL
2006
Springer
15 years 8 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...
125
click to vote
ACSAC
2001
IEEE
15 years 8 months ago
2001
IEEE
The Java Cryptography Architecture, JCA in short, was created to allow JCA-compliant cryptography providers to be plugged into a JCA-aware application at run time. This configurab...
155
click to vote
CISIS
2010
IEEE
15 years 8 months ago
2010
IEEE
— Production automation systems consist of many entities (like robots and shuttles) that interact in complex ways to provide the overall system functionality like product assembl...
135
click to vote
CASES
2001
ACM
15 years 8 months ago
2001
ACM
Current development tools for embedded real-time systems do not efficiently support the timing aspect. The most important timing parameter for scheduling and system analysis is th...
139
click to vote
CAV
2001
Springer
15 years 8 months ago
2001
Springer
In this paper we present the application of generalized retiming for temporal property checking. Retiming is a structural transformation that relocates registers in a circuit-based...