3082 search results - page 316 / 617 » Deviation Analysis: A New Use of Model Checking |
179
click to vote
TRS
2008
15 years 6 months ago
2008
In this paper, we discuss an approach to structural objects based on a generalisation of indiscernibility relation used in rough set theory. The existing results in rough set theor...
154
click to vote
IPPS
2009
IEEE
16 years 1 months ago
2009
IEEE
Although processors become massively multicore and therefore new programming models mix message passing and multi-threading, the effects of threads on communication libraries rema...
184
click to vote
BALT
2010
15 years 1 months ago
2010
Abstract. This paper addresses the pattern matching problem for model transformation languages. Despite being an NP-complete problem, the pattern matching can be solved efficiently...
144
click to vote
ICDCSW
2005
IEEE
16 years 6 days ago
2005
IEEE
Content-based event matching is an important problem in large-scale event-based publish/subscribe systems. However, open questions remain in ...
196
click to vote
ACMICEC
2007
ACM
15 years 10 months ago
2007
ACM
Needs-based analysis lies at the intersection of product marketing and new product development. It is the study of why consumers purchase and what they do with those purchases. In...