Sciweavers

2041 search results - page 161 / 409
» Modelling Generic Judgements
Sort
View
CAISE
2006
Springer
15 years 8 months ago
Modeling User Behaviour Aware WebSites with PRML
Adaptive websites usually change as effect of user navigational actions. Most current web engineering approaches (which consider personalization) allow to detect basic user browsin...
Irene Garrigós, Jaime Gómez
SIMVIS
2004
15 years 5 months ago
A Formal Model of a Framework for Simulation-Based Animation
We present a rigorous formal - but transparent - specification of the semantics of a generic simulation-based 3D animation framework. Our system combines a SystemC simulation kern...
Wolfgang Müller 0003, Volker Paelke
IJNSEC
2008
98views more  IJNSEC 2008»
15 years 4 months ago
A New General Transparency Model for Block-based Watermarking Method
Blocking artifact is one of the main drawbacks of the block-based watermarking method. Though a number of researches on "transparent" digital watermarking system have be...
Fangjun Huang
CORR
1999
Springer
95views Education» more  CORR 1999»
15 years 4 months ago
Fixed-parameter tractability, definability, and model checking
In this article, we study parameterized complexity theory from the perspective of logic, or more specifically, descriptive complexity theory. We propose to consider parameterized ...
Jörg Flum, Martin Grohe
MODELS
2007
Springer
15 years 10 months ago
Scenario Integration via the Transformation and Manipulation of Higher-order Graphs
The integration of different models, such as scenarios, is an important component of the requirements engineer’s work. If manually performed, the integration operation is error-...
Hongzhi Liang