Sciweavers

1177 search results - page 51 / 236
» A review of function modeling: Approaches and applications
Sort
View
DATE
2003
IEEE
116views Hardware» more  DATE 2003»
14 years 1 months ago
Development and Application of Design Transformations in ForSyDe
The ForSyDe methodology has been developed for system level design. Starting with a formal specification model, that captures the functionality of the system at a high abstractio...
Ingo Sander, Axel Jantsch, Zhonghai Lu
FMICS
2010
Springer
13 years 9 months ago
SMT-Based Formal Verification of a TTEthernet Synchronization Function
Abstract. TTEthernet is a communication infrastructure for mixedcriticality systems that integrates dataflow from applications with different criticality levels on a single network...
Wilfried Steiner, Bruno Dutertre
IEEECIT
2010
IEEE
13 years 7 months ago
A Self-Adaptable Approach for Easing the Development of Grid-Oriented Services
—The Service-Oriented Architecture (SOA) leverages ice abstraction to enable the development of modular, loose-coupled and distributed applications. In order to use such an archi...
Andre Lage Freitas, Jean-Louis Pazat
KES
2007
Springer
14 years 2 months ago
Assisting Dialogical Agents Modeled from Novice User's Perceptions
This paper is based on the idea of integrating the actual cognitive features of novice users at the core of the design process of the software applications in order to significantl...
David Leray, Jean-Paul Sansonnet
ECML
2006
Springer
14 years 4 days ago
Unsupervised Multiple-Instance Learning for Functional Profiling of Genomic Data
Multiple-instance learning (MIL) is a popular concept among the AI community to support supervised learning applications in situations where only incomplete knowledge is available....
Corneliu Henegar, Karine Clément, Jean-Dani...