4211 search results - page 631 / 843 » A formal approach to MASQ |
162
click to vote
ECMDAFA
2005
Springer
16 years 3 days ago
2005
Springer
Language-centric methodologies, triggered by the success of Domain Specific Languages, rely on precise specifications of modeling s. While the definition of the abstract syntax ...
180
click to vote
ESWS
2005
Springer
16 years 3 days ago
2005
Springer
The paper addresses the problem of reasoning with multiple ontologies interrelated with semantic mappings. This problem is becoming more and more relevant due to the necessity of b...
163
click to vote
FMCO
2005
Springer
16 years 3 days ago
2005
Springer
Abstract. We describe the algorithmic and implementation ideas behind a tool, Orion, for finding common programming errors in C and C++ programs using static code analysis. We aim...
166
click to vote
FMCO
2005
Springer
16 years 3 days ago
2005
Springer
babilistic Chemical Abstract Machine and the Expressiveness of Linda Languages Alessandra Di Pierro1 , Chris Hankin2 , and Herbert Wiklicky2 1 Dipartimento di Informatica, Universi...
173
click to vote
ICCBSS
2005
Springer
16 years 3 days ago
2005
Springer
A vital issue in the correct use of commercial-off-the-shelf (COTS) components is the proper understanding of their functionality, quality attributes and ways of operation. Traditi...