350 search results - page 13 / 70 » Predictability in Real-time System Development (2) A Case St... |
RTAS
2008
IEEE
14 years 2 months ago
2008
IEEE
This paper formulates and illustrates the integration of resource safety verification into a design methodology for development of verified and robust real-time embedded systems. ...
CDC
2009
IEEE
14 years 10 days ago
2009
IEEE
Abstract— The heat exchange efficiency of electrically conducting fluids can drop dramatically when they interact with externally imposed magnetic fields. The movement of such...
FGCS
2008
13 years 7 months ago
2008
This paper presents a grid-enabled system for solving large-scale mixed integer programming (MIP) problems. The system has been developed using Globus and MPICH-G2, and consists o...
ICSEA
2008
IEEE
14 years 2 months ago
2008
IEEE
Evolution of software systems is characterized by inevitable changes of software and increasing software complexity, which in turn may lead to huge maintenance and development cos...
GI
2009
Springer
13 years 5 months ago
2009
Springer
: We explore the expressiveness of the BPMN workflow modelling language by applying it to MuCoMS, a paper submission system. This well known application domain is a suitable exampl...