1559 search results - page 116 / 312 » Software needs engineering: a position paper |
FSTTCS
2005
Springer
14 years 2 months ago
2005
Springer
TPTL and MTL are two classical timed extensions of LTL. In this paper, we positively answer a 15-year-old conjecture that TPTL is strictly more expressive than MTL. But we show tha...
KBSE
2008
IEEE
14 years 3 months ago
2008
IEEE
—Automated tests are important for Web applications as they grow more complex day by day. Web application testing frameworks have emerged to help satisfy this need. However, used...
SEM
2004
Springer
14 years 2 months ago
2004
Springer
The use of handheld networked devices to access information systems by people moving around is spreading rapidly. Systems being used in this way typically face dynamic variation in...
KBSE
2003
IEEE
14 years 2 months ago
2003
IEEE
Modern architectures, such as the Intel Itanium, support speculation, a hardware mechanism that allows the early execution of expensive operations—possibly even before it is kno...
PFE
2001
Springer
14 years 1 months ago
2001
Springer
In this paper, we examine the role of knowledge management in the design, customization, and delivery of a family of electronically delivered products and services, specifically in...