4211 search results - page 262 / 843 » A formal approach to MASQ |
167
Voted
CODES
2007
IEEE
16 years 1 months ago
2007
IEEE
We present a novel hybrid approach for performance analysis of a system design. Unlike other approaches in this area, in this paper we do not focus on the determination of pessimi...
214
click to vote
CIBSE
2008
ACM
15 years 8 months ago
2008
ACM
Abstract. Software testing is an expensive and time-consuming activity; it is also error-prone due to human factors. But, it still is the most common effort used in the software in...
184
Voted
AO
2007
15 years 6 months ago
2007
This work introduces a formal framework for the social acquisition of ontologies which are constructed dynamically from overhearing the possibly conflicting symbolic interaction o...
184
click to vote
ESA
2003
Springer
15 years 12 months ago
2003
Springer
A promising approach to graph clustering is based on the intuitive notion of intra-cluster density vs. inter-cluster sparsity. While both formalizations and algorithms focusing on ...
187
click to vote
ECMDAFA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...