Sciweavers

9989 search results - page 207 / 1998
» A CLP Approach to Modelling Systems
Sort
View
126
Voted
FBT
1998
129views Formal Methods» more  FBT 1998»
15 years 6 months ago
Specification Modules for Methodical System Development
: We show how an alternative approach to document-oriented specification can ease the system design process. By identifying the modeling concepts needed for a complete system speci...
Franz Huber, Bernhard Schätz
144
Voted
ECBS
2007
IEEE
115views Hardware» more  ECBS 2007»
15 years 11 months ago
Modeling the Functionality of Multi-Functional Software Systems
Today, many software-based, reactive systems offer a multitude of functionality. One way to master the development of such a system is to model its functionality on an abstract le...
Alexander Gruler, Alexander Harhurin, Judith Hartm...
HASE
2007
IEEE
15 years 9 months ago
Goal-Oriented Patterns for UML-Based Modeling of Embedded Systems Requirements
Embedded systems are used for critical applications that must adhere to safety constraints. Developers of these systems face three key challenges when attempting to apply existing...
Heather Goldsby, Sascha Konrad, Betty H. C. Cheng
TAMODIA
2007
15 years 6 months ago
Articulating Interaction and Task Models for the Design of Advanced Interactive Systems
Mixed Interactive Systems (MIS) is a generic term encompassing mixed and augmented reality, augmented virtuality, and tangible interfaces systems. The work we present in this paper...
Syrine Charfi, Emmanuel Dubois, Rémi Bastid...
ADC
2006
Springer
156views Database» more  ADC 2006»
15 years 11 months ago
A new approach to intelligent text filtering based on novelty detection
This paper presents an original approach to modelling user’s information need in text filtering environment. This approach relies on a specific novelty detection model which a...
Randa Kassab, Jean-Charles Lamirel