Sciweavers

19367 search results - page 523 / 3874
» Fine-Grain Process Modelling
Sort
View
DEXAW
2004
IEEE
82views Database» more  DEXAW 2004»
15 years 11 months ago
Supporting Public Software Acquisition Workflows - Implications for Data Models
Many software acquisition projects are doomed to fail due to a lack of integration of acquisition and development processes on the one hand and, because of shortcomings of classic...
Werner Aigner, Peter Regner, Thomas Wiesinger, Jos...
193
Voted
FMCO
2008
Springer
167views Formal Methods» more  FMCO 2008»
15 years 8 months ago
Formal Behavioral Modeling and Compliance Analysis for Service-Oriented Systems
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
Natallia Kokash, Farhad Arbab
ICSE
2009
IEEE-ACM
16 years 1 months ago
Modeling in Software Engineering (MiSE 09)
The Modeling in Software Engineering (MiSE) workshop series provides a forum for discussing the challenges associated with modeling software and with incorporating modeling practi...
Robert Baillargeon, Bernhard Rumpe, Steven Vö...
209
Voted
ISQED
2003
IEEE
127views Hardware» more  ISQED 2003»
16 years 12 days ago
Statistical Modeling for Circuit Simulation
Accurate statistical simulation and modeling are important for IC design. Different types of statistical simulation require different types of statistical models. In this paper a ...
Colin C. McAndrew
WSC
2004
15 years 8 months ago
Validation and Verification of Simulation Models
This paper discusses validation and verification of simulation models. The different approaches to deciding model validity are presented; how model validation and verification rel...
Robert G. Sargent