2944 search results - page 533 / 589 » On Well Quasi-orders on Languages |
ISSTA
2004
ACM
14 years 2 months ago
2004
ACM
Model checking based on validating temporal logic formulas has proven practical and effective for numerous software engineering applications. As systems based on this approach ha...
ICMI
2004
Springer
14 years 2 months ago
2004
Springer
Mobile usage patterns often entail high and fluctuating levels of difficulty as well as dual tasking. One major theme explored in this research is whether a flexible multimodal in...
SIGADA
2004
Springer
14 years 2 months ago
2004
Springer
The purpose of this research paper is to illustrate the industrial and federal need for Information Systems Security Engineering (ISSE) in order to build Information Assurance (IA...
SIGIR
2003
ACM
14 years 1 months ago
2003
ACM
This paper presents a novel domain-independent text segmentation method, which identifies the boundaries of topic changes in long text documents and/or text streams. The method c...
CLOUD
2010
ACM
14 years 1 months ago
2010
ACM
We present a parallel data processor centered around a programming model of so called Parallelization Contracts (PACTs) and the scalable parallel execution engine Nephele [18]. Th...