2514 search results - page 362 / 503 » The use of industrial-strength formal methods |
216
click to vote
TKDE
2012
13 years 8 months ago
2012
— We present a query formulation language (called MashQL) in order to easily query and fuse structured data on the web. The main novelty of MashQL is that it allows people with l...
221
click to vote
TKDE
2012
13 years 8 months ago
2012
— We study the problem of assigning subscribers to brokers in a wide-area content-based publish/subscribe system. A good assignment should consider both subscriber interests in t...
194
click to vote
TMI
2010
15 years 1 months ago
2010
Within-subject analysis in fMRI essentially addresses two problems, the detection of brain regions eliciting evoked activity and the estimation of the underlying dynamics. In [1, 2...
178
click to vote
HICSS
2011
IEEE
14 years 10 months ago
2011
IEEE
— Decision optimization is used in many applications such as those for finding the best course of action in emergencies. However, optimization solutions require considerable mat...
155
click to vote
ICSM
2005
IEEE
16 years 11 hour ago
2005
IEEE
In the work presented here, we introduce a method to automatically generate a subset of a UML class model based on a user-defined criterion. The goal of this work is to allow us to...