9110 search results - page 1633 / 1822 » Formally-Based Design Evaluation |
157
Voted
DAS
2010
Springer
15 years 2 months ago
2010
Springer
A major difficulty for designing a document image segmentation methodology is the proper value selection for all involved parameters. This is usually done after experimentations o...
148
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
—Energy harvesting sensor platforms have opened up a new dimension to the design of network protocols. In order to sustain the network operation, the energy consumption rate cann...
149
click to vote
OOPSLA
2010
Springer
15 years 2 months ago
2010
Springer
As software becomes increasingly complex and difficult to analyze, it is more and more common for developers to use high-level, type-safe, object-oriented (OO) programming langua...
129
click to vote
OTM
2010
Springer
15 years 2 months ago
2010
Springer
Recently, mashups have emerged as an important class of Web 2.0 collaborative applications. Mashups can be conceived as personalized Web services which aggregate and manipulate dat...
116
click to vote
PVLDB
2010
15 years 2 months ago
2010
Large flash disks, or solid state drives (SSDs), have become an attractive alternative to magnetic hard disks, due to their high random read performance, low energy consumption a...