Sciweavers

3801 search results - page 571 / 761
» An Approach to Modeling Software Safety
Sort
View
KBS
2007
74views more  KBS 2007»
15 years 4 months ago
GUIDE: Games with UML for interactive design exploration
In this paper we present our design tool GUIDE, which allows the user to explore a design in UML interactively by playing a game. The game incorporates both the design model and a...
Jennifer Tenzer, Perdita Stevens
SSIRI
2010
15 years 3 months ago
A Formal Framework for Mutation Testing
— Model-based approaches, especially based on directed graphs (DG), are becoming popular for mutation testing as they enable definition of simple, nevertheless powerful, mutation...
Fevzi Belli, Mutlu Beyazit
PAMI
2012
13 years 7 months ago
Task-Driven Dictionary Learning
—Modeling data with linear combinations of a few elements from a learned dictionary has been the focus of much recent research in machine learning, neuroscience, and signal proce...
Julien Mairal, Francis Bach, Jean Ponce
MEMOCODE
2010
IEEE
15 years 2 months ago
Proving transaction and system-level properties of untimed SystemC TLM designs
Electronic System Level (ESL) design manages the complexity of todays systems by using abstract models. In this context Transaction Level Modeling (TLM) is state-of-theart for desc...
Daniel Große, Hoang M. Le, Rolf Drechsler
PERCOM
2004
ACM
16 years 4 months ago
Agile Middleware of Pervasive Computing Environments
In this paper, we survey the models and approaches applied to the middleware services of pervasive computing environments. Architectural styles and patterns introduced in the doma...
Eila Niemelä, Teemu Vaskivuo