634 search results - page 46 / 127 » Groundwork for Weak Analysis |
124
Voted
ESOP
2001
Springer
15 years 8 months ago
2001
Springer
Equality constraints (unification constraints) have widespread use in program analysis, most notably in static polymorphic type systems. Conditional equality constraints extend eq...
167
Voted
ICALP
1994
Springer
15 years 7 months ago
1994
Springer
A hash table is a representation of a set in a linear size data structure that supports constanttime membership queries. We show how to construct a hash table for any given set of...
108
Voted
CRIWG
2007
15 years 5 months ago
2007
Collaborative systems evaluation is necessary in several situations. However, evaluation is frequently done in an ad-hoc manner or not at all. This paper presents a survey of evalu...
108
Voted
INTERACT
2007
15 years 5 months ago
2007
The use of RFID technology in HCI research is emerging. We identify its promising application in the healthcare sector by empowering the process of capturing, extracting and analyz...
109
Voted
SNPD
2003
15 years 5 months ago
2003
We present our experience in automatically deriving a detailed test case plan exclusively using the UML diagrams developed during the analysis and design phases. We consider in pa...