9412 search results - page 1488 / 1883 » An aspect-oriented generative approach |
192
click to vote
VMCAI
2005
Springer
16 years 9 days ago
2005
Springer
Bounded model checking (BMC) is an automatic verification method that is based on a finite unfolding of the system’s transition relation. BMC has been successfully applied, in ...
196
click to vote
WEBI
2005
Springer
16 years 9 days ago
2005
Springer
Several algorithms based on link analysis have been developed to measure the importance of nodes on a graph such as pages on the World Wide Web. PageRank and HITS are the most pop...
196
click to vote
ISLPED
2004
ACM
16 years 8 days ago
2004
ACM
Traditionally, dynamic voltage scaling (DVS) techniques have focused on minimizing the processorenergy consumption as opposed to the entire system energy consumption. The slowdown...
178
click to vote
IUI
2004
ACM
16 years 8 days ago
2004
ACM
Layout refers to the process of determining the size and position of the visual objects in an information presentation. We introduce the WeightMap, a bitmap representation of the ...
170
click to vote
JCDL
2004
ACM
16 years 8 days ago
2004
ACM
Archaeologists have to deal with vast quantities of information, generated both in the field and laboratory. That information is heterogeneous in nature, and different projects ha...