Sciweavers

3619 search results - page 144 / 724
» Humor modeling in the interface
Sort
View
ICSE
2009
IEEE-ACM
15 years 11 months ago
Towards a framework for supporting software modeling activities through novel interaction and visualization techniques
Though there is a multitude of software modeling tools available, the handling of diagrams, which are an essential way of representation, is still difficult. To overcome these pr...
Mathias Frisch, Raimund Dachselt
DAC
2002
ACM
16 years 6 months ago
Model composition for scheduling analysis in platform design
We present a compositional approach to analyze timing behavior of complex platforms with different scheduling strategies. The approach uses event interfacing in order to couple pr...
Kai Richter, Dirk Ziegenbein, Marek Jersak, Rolf E...
DATE
2008
IEEE
102views Hardware» more  DATE 2008»
15 years 11 months ago
Semantics for Model-Based Validation of Continuous/Discrete Systems
Continuous and discrete components can be integrated in diverse systems including defense, medical, electronic, communication, and automotive applications. Given the heterogeneity...
Luiza Gheorghe, Faouzi Bouchhima, Gabriela Nicoles...
WWW
2011
ACM
14 years 12 months ago
Towards automatic quality assurance in Wikipedia
Featured articles in Wikipedia stand for high information quality, and it has been found interesting to researchers to analyze whether and how they can be distinguished from “or...
Maik Anderka, Benno Stein, Nedim Lipka
SIAMMA
2010
105views more  SIAMMA 2010»
14 years 11 months ago
On the Convergence of the Ohta-Kawasaki Equation to Motion by Nonlocal Mullins-Sekerka Law
In this paper, we establish the convergence of the Ohta-Kawasaki equation to motion by nonlocal Mullins-Sekerka law on any smooth domain in space dimensions N 3. These equations a...
Nam Q. Le