Sciweavers

7202 search results - page 1025 / 1441
» Software System Engineering: A Tutorial
Sort
View
ER
2005
Springer
134views Database» more  ER 2005»
16 years 11 days ago
An Agent-Oriented Meta-model for Enterprise Modelling
This paper proposes an agent-oriented meta-model that provides rigorous concepts for conducting enterprise modelling. The aim is to allow analysts to produce an enterprise model th...
Ivan Jureta, Stéphane Faulkner
FASE
2005
Springer
16 years 10 days ago
Iterative Circular Coinduction for CoCasl in Isabelle/HOL
Abstract. Coalgebra has in recent years been recognized as the framework of choice for the treatment of reactive systems at an appropriate level of generality. Proofs about the rea...
Daniel Hausmann, Till Mossakowski, Lutz Schrö...
IUI
2004
ACM
16 years 7 days ago
Classifying and assessing tremor movements for applications in man-machine intelligent user interfaces
We introduce a new intelligent user interface (IUI) and, also, a new methodology to identify the fatigue state for healthy subjects. The fatigue state is determined by means of a ...
Dan Marius Dobrea, Horia-Nicolai L. Teodorescu
IUI
2004
ACM
16 years 7 days ago
Evaluation of visual balance for automated layout
Layout refers to the process of determining the size and position of the visual objects in an information presentation. We introduce the WeightMap, a bitmap representation of the ...
Simon Lok, Steven Feiner, Gary Ngai
LSO
2004
Springer
16 years 5 days ago
Embedding Experiences in Micro-didactical Arrangements
Experience-based Information Systems (EbIS) enable organizations to capture, store and reuse knowledge and experiences for continuous competence development. However, there are sev...
Eric Ras, Stephan Weibelzahl
« Prev « First page 1025 / 1441 Last » Next »