6978 search results - page 94 / 1396 » Reframing Requirements Analysis |
ESEC
1999
Springer
15 years 2 months ago
1999
Springer
Traditional interprocedural data-flow analysis is performed on whole programs; however, such whole-program analysis is not feasible for large or incomplete programs. We propose fr...
ISSTA
2009
ACM
15 years 4 months ago
2009
ACM
The aim of requirements-based testing is to generate test cases from a set of requirements for a given system or piece of software. In this paper we propose a formal semantics for...
ROMAN
2007
IEEE
15 years 4 months ago
2007
IEEE
—This paper presents a new six DOF haptic device for dental surgery training system, which can provide 6 dimensional virtual force and torque. The proposed haptic device is based...
INFOCOM
2003
IEEE
15 years 3 months ago
2003
IEEE
Abstract— Protocols such as TCP require packets to be accepted (i.e., delivered to the receiving application) in the order they are transmitted at the sender. Packets are sometim...
104
click to vote
ICDE
2007
IEEE
15 years 1 months ago
2007
IEEE
"Software as a service" approach has become a reality since efforts of both industry and research focused on service integration on the web. It would be possible to see ...