Sciweavers

780 search results - page 75 / 156
» Case Study: Model Transformations for Time-triggered Languag...
Sort
View
ISF
2007
139views more  ISF 2007»
13 years 7 months ago
Integrated model-driven dashboard development
Abstract Business performance modeling and model-driven business transformation are two research directions that are attracting much attention lately. In this study, we propose an ...
Themis Palpanas, Pawan Chowdhary, George A. Mihail...
ER
2009
Springer
79views Database» more  ER 2009»
14 years 2 months ago
Modeling Domain Variability in Requirements Engineering with Contexts
Various characteristics of the problem domain define the context in which the system is to operate and thus impact heavily on its requirements. However, most requirements specifica...
Alexei Lapouchnian, John Mylopoulos
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 3 days ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
BIRTHDAY
2005
Springer
14 years 1 months ago
A Modal View on Polder Politics
To get a better understanding of the influence of the media on current political events, researchers in Communication Science have recently reported on several case studies, in w...
Wouter van Atteveldt, Stefan Schlobach
AIME
2009
Springer
13 years 11 months ago
Modeling Clinical Guidelines through Petri Nets
Abstract. Clinical guidelines (GLs) play an important role to standardize and organize clinical processes according to evidence-based medicine. Several computer-based GL representa...
Marco Beccuti, Alessio Bottrighi, Giuliana Frances...