2373 search results - page 62 / 475 » Towards a Model of Computer Systems Research |
167
click to vote
SIGSOFT
2003
ACM
16 years 4 months ago
2003
ACM
Automated finite-state verification techniques have matured considerably in the past several years, but state-space explosion remains an obstacle to their use. Theoretical lower b...
211
Voted
DNIS
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The challenge of building consistent, available, and scalable data management systems capable of serving petabytes of data for millions of users has confronted the data m...
100
click to vote
KBSE
1995
IEEE
15 years 7 months ago
1995
IEEE
The KBSE community is actively engaged in finding ways to represent software and the activities that relate to various stages in its lifecycle. While the wealth of modeling activ...
126
Voted
CVPR
2007
IEEE
16 years 6 months ago
2007
IEEE
Object class detection in scenes of realistic complexity remains a challenging task in computer vision. Most recent approaches focus on a single and general model for object class...
124
click to vote
ECBS
2003
IEEE
15 years 9 months ago
2003
IEEE
The architectural level plays a major role in the engineering of computer based systems. Having proper means for representing the architecture of a system is a crucial element of ...