2757 search results - page 152 / 552 » Empirical investigations of conceptual modeling and the mode... |
154
click to vote
FCS
2006
15 years 8 months ago
2006
-- Boolean SAT problems are widespread in current demanding applications, most notably model checking for both hardware and software. It has long been known that the clause-to-vari...
138
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
In recent years, with the rapid growth of the Internet, the situation of Internet music piracy has become increasingly serious. In particular, the exchange mode of music downloadi...
172
click to vote
TOOLS
2008
IEEE
16 years 27 days ago
2008
IEEE
In model-based testing, one of the biggest decisions taken before modelling is the modelling language and the model analysis tool to be used to model the system under investigation...
189
click to vote
ICST
2009
IEEE
15 years 4 months ago
2009
IEEE
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
163
click to vote
ICASSP
2011
IEEE
14 years 10 months ago
2011
IEEE
Sparse signal representation based on overcomplete dictionaries has recently been extensively investigated, rendering the state-of-the-art results in signal, image and video proce...