Sciweavers

3801 search results - page 392 / 761
» An Approach to Modeling Software Safety
Sort
View
EPEW
2007
Springer
16 years 28 days ago
Resource Sharing in Performance Models
In software systems, individual components interact not only through explicit function invocations, but also through implicit resource sharing. The use of shared resources signifi...
Vlastimil Babka, Martin Decký, Petr Tuma
MODELLIERUNG
2008
15 years 8 months ago
Integrating Template-Based Code Generation into Graphical Model Transformation
Abstract: Model transformation is not only a crucial but also one of the most complicated aspects of model-driven software development (MDSD). An adequate transformation language i...
Martin Girschick
GI
2009
Springer
15 years 4 months ago
Project Planning Support by Model Checking
Abstract: Today's trend in software and system engineering is to utilize more specialized models. This model-based development approach makes a single engineering task more ea...
Björn Axenath, Oliver Sudmann
CAISE
2010
Springer
15 years 1 months ago
Configuring the Variability of Business Process Models Using Non-Functional Requirements
The existence of variations in the organizational environment makes the configuration of business process models a complex activity, even for experienced business analysts. The inc...
Emanuel Santos, João Pimentel, Jaelson Cast...
TKDE
2012
208views Formal Methods» more  TKDE 2012»
13 years 9 months ago
A Knowledge-Driven Approach to Activity Recognition in Smart Homes
Abstract—This paper introduces a knowledge-driven approach to real-time, continuous activity recognition based on multisensor data streams in smart homes. The approach goes beyon...
Liming Chen, Chris D. Nugent, Hui Wang