15155 search results - page 2398 / 3031 » System Software |
179
click to vote
ICWL
2005
Springer
16 years 23 days ago
2005
Springer
In this paper we investigate the use of Latent Semantic Analysis (LSA), Critiquing Systems, and Knowledge Building to support computerbased teaching of English composition. We have...
191
click to vote
EMSOFT
2004
Springer
16 years 20 days ago
2004
Springer
We present a type system for E code, which is an assembly language that manages the release, interaction, and termination of real-time tasks. E code specifies a deadline for each...
186
Voted
GG
2004
Springer
16 years 19 days ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
212
click to vote
ICFEM
2004
Springer
16 years 19 days ago
2004
Springer
Abstract. The integrated logic-based modeling language, Timed Communicating Object Z (TCOZ), is well suited for presenting complete and coherent requirement models for complex real...
236
click to vote
IWAN
2004
Springer
16 years 19 days ago
2004
Springer
The proliferation of computer viruses and Internet worms has had a major impact on the Internet Community. Cleanup and control of malicious software (malware) has become a key prob...