6014 search results - page 1032 / 1203 » Structural Testing with Use Cases |
153
Voted
ICALP
2009
Springer
16 years 4 months ago
2009
Springer
A one-sided (resp. two-sided) shift of finite type of dimension one can be described as the set of infinite (resp. bi-infinite) sequences of consecutive edges in a finite-state aut...
145
click to vote
TLDI
2010
ACM
16 years 25 days ago
2010
ACM
In the GADT (Generalized Algebraic Data Types) type system, a pattern-matching branch can draw type information from both the scrutinee type and the data constructor type. Even th...
134
Voted
FASE
2010
Springer
15 years 10 months ago
2010
Springer
Abstract. Context-awareness is becoming a first class attribute of software systems. In fact, applications for mobile devices need to be aware of their context in order to adapt t...
155
click to vote
ICDE
2009
IEEE
15 years 10 months ago
2009
IEEE
— A paramount challenge in probabilistic databases is the scalable computation of confidences of tuples in query results. This paper introduces an efficient secondary-storage o...
157
Voted
COMPSAC
2009
IEEE
15 years 10 months ago
2009
IEEE
With the ongoing trend towards the globalization of software systems and their development, components in these systems might not only work together, but may end up evolving indep...