407 search results - page 80 / 82 » An Automated Verification Method for Distributed Systems Sof... |
142
Voted
EDBTW
2010
Springer
15 years 5 months ago
2010
Springer
Successfully structuring information in databases, OLAP cubes, and XML is a crucial element in managing data nowadays. However this process brought new challenges to usability. It...
145
Voted
CASES
2008
ACM
15 years 4 months ago
2008
ACM
Detailed or cycle-accurate/bit-accurate (CABA) simulation is a critical phase in the design flow of embedded systems. However, with increasing system complexity, full detailed sim...
130
Voted
DSN
2006
IEEE
15 years 6 months ago
2006
IEEE
World Wide Web, the biggest distributed system ever built, experiences tremendous growth and change in Web sites, users, and technology. A realistic and accurate characterization ...
173
click to vote
BMCBI
2011
14 years 9 months ago
2011
Background: Phyloinformatic analyses involve large amounts of data and metadata of complex structure. Collecting, processing, analyzing, visualizing and summarizing these data and...
157
Voted
3DOR
2008
15 years 3 months ago
2008
We present an automatic face recognition approach, which relies on the analysis of the three-dimensional facial surface. The proposed approach consists of two basic steps, namely ...