1463 search results - page 215 / 293 » Software engineering practices in Singapore |
111
Voted
ICFEM
2009
Springer
15 years 7 months ago
2009
Springer
Coinductive proofs of behavioral equivalence often require human ingenuity, in that one is expected to provide a “good” relation extending one’s goal with additional lemmas, ...
102
Voted
UIST
2009
ACM
15 years 7 months ago
2009
ACM
PhotoelasticTouch is a novel tabletop system designed to intuitively facilitate touch-based interaction via real objects made from transparent elastic material. The system utilize...
105
Voted
APSEC
2008
IEEE
15 years 7 months ago
2008
IEEE
Test case prioritization techniques have been empirically proved to be effective in improving the rate of fault detection in regression testing. However, most of previous techniqu...
121
Voted
ISPASS
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper characterizes the impact that the use of UDP versus TCP has on the performance and scalability of the OpenSER SIP proxy server. The Session Initiation Protocol (SIP) is...
106
Voted
SEFM
2008
IEEE
15 years 7 months ago
2008
IEEE
The only practical way to test distributed messagepassing systems is to use local testing. In this approach, used in formalisms such as concurrent TTCN-3, some components are repl...