Sciweavers

1605 search results - page 154 / 321
» An XML implementation process model for enterprise applicati...
Sort
View
DATE
2009
IEEE
249views Hardware» more  DATE 2009»
16 years 28 days ago
White box performance analysis considering static non-preemptive software scheduling
—In this paper, a novel approach for integrating static non-preemptive software scheduling in formal bottom-up performance evaluation of embedded system models is described. The ...
Alexander Viehl, Michael Pressler, Oliver Bringman...
EDBT
2010
ACM
164views Database» more  EDBT 2010»
15 years 9 months ago
Techniques for efficiently querying scientific workflow provenance graphs
A key advantage of scientific workflow systems over traditional scripting approaches is their ability to automatically record data and process dependencies introduced during workf...
Manish Kumar Anand, Shawn Bowers, Bertram Ludä...
UML
2005
Springer
15 years 11 months ago
Modeling Turnpike Frontend System: A Model-Driven Development Framework Leveraging UML Metamodeling and Attribute-Oriented Progr
This paper describes and empirically evaluates a new model-driven development framework, called Modeling Turnpike (or mTurnpike). It allows developers to model and program domain-s...
Hiroshi Wada, Junichi Suzuki
IJWIS
2006
104views more  IJWIS 2006»
15 years 6 months ago
DaVinci - A model-driven web engineering framework
The World Wide Web has undergone a rapid transition from the originally static hypertext to an ubiquitous hypermedia system. Today, the Web is not only used as a basis for distribu...
Andreas Langegger, Jürgen Palkoska, Roland Wa...
FASE
2009
Springer
15 years 10 months ago
Certification of Smart-Card Applications in Common Criteria
This paper describes the certification of smart-card applications in the framework of Common Criteria. In this framework, a smart-card application is represented by a model of its...
Iman Narasamdya, Michaël Périn