5439 search results - page 646 / 1088 » Patterns: from system design to software testing |
192
click to vote
VSTTE
2010
Springer
15 years 4 months ago
2010
Springer
A suite of verification benchmarks for software verification tools and techniques, presented at VSTTE 2008 [11], provides an initial catalogue of benchmark challenges for the Verif...
147
click to vote
CEJCS
2011
14 years 6 months ago
2011
: Network analytic method designed for the analysis of static networks promise to identify significant relational patterns that correlate with important structures in the complex ...
191
click to vote
BMCBI
2010
15 years 6 months ago
2010
Background: The data from DNA microarrays are increasingly being used in order to understand effects of different conditions, exposures or diseases on the modulation of the expres...
160
click to vote
CHI
2008
ACM
16 years 7 months ago
2008
ACM
This paper presents a context-aware mobile recommender system, codenamed Magitti. Magitti is unique in that it infers user activity from context and patterns of user behavior and,...
221
click to vote
CVPR
1998
IEEE
16 years 8 months ago
1998
IEEE
We describe a vision system that monitors activity in a site over extended periods of time. The system uses a distributed set of sensors to cover the site, and an adaptive tracker...