1173 search results - page 147 / 235 » On the Compositionality of Round Abstraction |
91
Voted
IJBIS
2010
14 years 10 months ago
2010
Fingerprinting is a well known approach for identifying multimedia data without having the original data present but what amounts to its essence or "DNA". Current approa...
179
Voted
TAOSD
2010
14 years 7 months ago
2010
The idea behind Aspect-Oriented Modeling (AOM) is to apply aspect-oriented techniques to (software) models with the aim of modularizing crosscutting concerns. This can be done with...
118
click to vote
PERCOM
2011
ACM
14 years 4 months ago
2011
ACM
—This paper examines the possible uses of different market mechanisms for resource allocation at different levels of Wireless Sensor Network (WSN) architecture. The goal is to ma...
119
Voted
DCOSS
2011
Springer
14 years 13 days ago
2011
Springer
—Modular software, in which strongly-separated units of functionality can be independently added to and removed from a node’s running software, offers a promising approach to e...
104
click to vote
CAV
2012
Springer
13 years 3 months ago
2012
Springer
Abstract. We develop compositional analysis algorithms for detecting nontermination in multithreaded programs. Our analysis explores fair and ultimatelyperiodic executions—i.e., ...