Sciweavers

348 search results - page 51 / 70
» Archiving and accessing language resources
Sort
View
SIGCSE
2009
ACM
155views Education» more  SIGCSE 2009»
14 years 11 months ago
Increasing engagement in automata theory with JFLAP
We describe the results from a two-year study with fourteen universities on presenting formal languages in a more visual, interactive and applied manner using JFLAP. In our result...
Susan H. Rodger, Eric Wiebe, Kyung Min Lee, Chris ...
ICECCS
2005
IEEE
136views Hardware» more  ICECCS 2005»
14 years 4 months ago
Model-Based Design and Analysis of Permission-Based Security
To guarantee the security of computer systems, it is necessary to define security permissions to restrict the access to the systems’ resources. These permissions rely on certai...
Jan Jürjens, Markus Lehrhuber, Guido Wimmel
APLAS
2004
ACM
14 years 4 months ago
Concurrency Combinators for Declarative Synchronization
Developing computer systems that are both concurrent and evolving is challenging. To guarantee consistent access to resources by concurrent software components, some synchronizatio...
Pawel T. Wojciechowski
ISPASS
2003
IEEE
14 years 4 months ago
Evaluating the importance of virtual memory for Java
The Java language has rapidly become widespread and it is being used to implement a broad range of applications, including applications with high resource requirements. For this r...
Yolanda Becerra, Toni Cortes, Jordi Garcia, Nacho ...
IDEAL
2003
Springer
14 years 4 months ago
Towards a Terabyte Digital Library System
In China-US Million Book Digital Library, output of the digitalization process is more than one terabyte of text in OEB and PDF format. To access these data quickly and accurately,...
Hao Ding, Yun Lin, Bin Liu