Sciweavers

183 search results - page 15 / 37
» Details of Formalized Relations in Feature Models Using OCL
Sort
View
WSC
1996
13 years 8 months ago
Simulation for computer science majors: a preliminary report
The author is revising and restructuring an existing simulation course designed primarily for senior computer science majors by: 1) developing an integrated set of laboratory exer...
Ruth Silverman
APCCM
2008
13 years 9 months ago
Context Analysis: Toward Pragmatics of Web Information Systems Design
On a high level of abstraction a Web Information System (WIS) can be described by a storyboard, which stract way specifies who will be using the system, in which way and for which...
Hui Ma, Klaus-Dieter Schewe, Bernhard Thalheim
JANCL
2007
115views more  JANCL 2007»
13 years 7 months ago
A logical characterisation of qualitative coalitional games
Qualitative coalitional games (QCGs) were introduced as abstract formal models of goal-oriented cooperative systems. A QCG is a game in which each agent is assumed to have some goa...
Paul E. Dunne, Wiebe van der Hoek, Michael Wooldri...
ISCAS
2007
IEEE
122views Hardware» more  ISCAS 2007»
14 years 1 months ago
Neuromimetic ICs with analog cores: an alternative for simulating spiking neural networks
- This paper aims at discussing the implementation of simulation systems for SNN based on analog computation cores (neuromimetic ICs). Such systems are an alternative to completely...
Sylvie Renaud, Jean Tomas, Yannick Bornat, Adel Da...
ER
2001
Springer
60views Database» more  ER 2001»
13 years 12 months ago
Tripod: A Comprehensive Model for Spatial and Aspatial Historical Objects
Abstract Spatio-temporal extensions to data models have been an active area of research for a number of years. To date, much of this work has focused on the relational data model, ...
Tony Griffiths, Alvaro A. A. Fernandes, Norman W. ...