433 search results - page 21 / 87 » Towards a BPMN Semantics Using UML Models |
WOSP
2005
ACM
14 years 2 months ago
2005
ACM
In order to effectively validate the performance of software systems throughout their development cycle it is necessary to continuously build performance models from software mod...
IFIP13
2004
13 years 10 months ago
2004
: Safety is now a major concern in many complex systems such as medical robots. A way to control the complexity of such systems is to manage risk. The first and important step of t...
ASPDAC
2005
ACM
13 years 10 months ago
2005
ACM
– Clocking is an essential component of any embedded system design. However, traditional design techniques are either short of clocking support or too complex for users. The Unif...
KBSE
2003
IEEE
14 years 1 months ago
2003
IEEE
We present an approach to managing formal models using Model Driven Architecture (MDA) technologies that delivers analysis techniques through integration with the design tools and...
DAGSTUHL
2003
13 years 10 months ago
2003
Abstract. The continuing trend towards more sophisticated technical applications results in an increasing demand for high quality software for complex, safety-critical systems. Des...