249 search results - page 41 / 50 » Validating Architectural Feature Descriptions using LOTOS |
106
click to vote
CCR
2006
15 years 1 months ago
2006
Releasing network measurement data--including packet traces-to the research community is a virtuous activity that promotes solid research. However, in practice, releasing anonymiz...
123
click to vote
PEPM
2009
ACM
15 years 10 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
179
click to vote
DAC
2003
ACM
15 years 6 months ago
2003
ACM
Instruction set simulators are critical tools for the exploration and validation of new programmable architectures. Due to increasing complexity of the architectures and timeto-ma...
153
click to vote
DOCENG
2008
ACM
15 years 3 months ago
2008
ACM
Semantic web researchers tend to assume that XML Schema and OWL-S are the correct means for representing the types, structure, and semantics of XML data used for documents and int...
SBBD
2007
15 years 2 months ago
2007
Integrating geographical and multidimensional processing has been proposed in several researches in the database literature. One of the most important issues of this process is dat...