2846 search results - page 216 / 570 » A Software Performance Engineering Tool based on the UML-SPT |
152
click to vote
LREC
2008
15 years 8 months ago
2008
This paper describes a Name Matching Evaluation Laboratory that is a joint effort across multiple projects. The lab houses our evaluation infrastructure as well as multiple name m...
170
click to vote
CISIS
2009
IEEE
16 years 1 months ago
2009
IEEE
Modeling and quantifying diļ¬erent human factors continue to be one of the major challenges in introducing new biometric systems. For example, drivers of some of our behavior diļ...
151
click to vote
PEPM
2004
ACM
15 years 12 months ago
2004
ACM
This paper presents a novel editor supporting interactive reļ¬nement in the development of structured documents. The user performs a sequence of editing operations on the documen...
169
click to vote
EMSOFT
2001
Springer
15 years 11 months ago
2001
Springer
: Run-time executives and operating system kernels for embedded systems have long relied exclusively on static priority scheduling of tasks to ensure timing constraints and other c...
160
click to vote
ICSE
2004
IEEE-ACM
16 years 6 months ago
2004
IEEE-ACM
FLAVERS is a finite-state verification approach that allows an analyst to incrementally add constraints to improve the precision of the model of the system being analyzed. Except ...