5182 search results - page 607 / 1037 » COTS-Based Requirements Engineering |
175
click to vote
IUI
2003
ACM
16 years 3 days ago
2003
ACM
We address the problem of improving the efficiency of natural language text input under degraded conditions (for instance, on PDAs or cell phones or by disabled users) by taking a...
191
click to vote
SIGSOFT
2003
ACM
16 years 3 days ago
2003
ACM
Model checking is an automated technique for verifying that a system satisfies a set of required properties. Such properties are typically expressed as temporal logic formulas, in...
235
click to vote
CBSQ
2003
Springer
16 years 2 days ago
2003
Springer
The use of formal model based (FMB) methods to evaluate the quality of the components is an important research area. Except for a growing number of exceptions, FMB methods are sti...
203
click to vote
ICSE
2003
IEEE-ACM
16 years 2 days ago
2003
IEEE-ACM
Improvements in the software development process depend on our ability to collect and analyze data drawn from various phases of the development life cycle. Our design metrics rese...
166
click to vote
EDBTW
2010
Springer
15 years 12 months ago
2010
Springer
In modern architectures based on Web Services or Cloud Computing, a very large number of user requests arrive concurrently and has to be scheduled for execution constrained by cor...