Sciweavers

264 search results - page 20 / 53
» Tools for syntactic concordancing
Sort
View
84
Voted
LWA
2008
14 years 11 months ago
Automatic detection of navigational queries according to Behavioural Characteristics
One of the main interests in the Web Information Retrieval research area is the identification of the user interests and needs so the search engines and tools can help the users t...
David J. Brenes, Daniel Gayo-Avello
ENTCS
2006
125views more  ENTCS 2006»
14 years 9 months ago
Liveness Checking as Safety Checking for Infinite State Spaces
In previous work we have developed a syntactic reduction of repeated reachability to reachability for finite state systems. This may lead to simpler and more uniform proofs for mo...
Viktor Schuppan, Armin Biere
KBSE
2009
IEEE
15 years 4 months ago
Static Validation of C Preprocessor Macros
—The widely used C preprocessor (CPP) is generally considered a source of difficulty for understanding and maintaining C/C++ programs. The main reason for this difficulty is CP...
Andreas Saebjoernsen, Lingxiao Jiang, Daniel J. Qu...
MODELLIERUNG
2004
14 years 11 months ago
CASE Support and Model-Based Development
ion from the implementation they use. Some tools rather consequently use this abstract model; others at least partly keep the implementational view, modeling components, e.g., by o...
Bernhard Schätz, Jan Romberg, Oscar Slotosch,...
82
Voted
TAMODIA
2004
14 years 11 months ago
TaskArchitect: taking the work out of task analysis
This paper takes a pragmatic approach to the design of a task analysis support tool. Instead of proposing a new approach to analysis, it looks at the common requirements for provi...
Jon Stuart, Richard Penn