Software synthesis from a concurrent functional specification is a key problem in the design of embedded systems. A concurrent specification is well-suited for medium-grained part...
Abstract. Context-awareness is becoming a first class attribute of software systems. In fact, applications for mobile devices need to be aware of their context in order to adapt t...
We define and develop a solution approach for planning, scheduling and managing project efforts where there is significant uncertainty in the duration, resource requirements and o...
Whilepreviousstudieshavefocusedmainlyonthepotentialbenefitsandcriticalsuccessfactorsassociatedwith ERPimplementation,veryfewhaveexploredtheimportantissues of impediments encounter...
Shan Ling Pan, Sue Newell, Jimmy C. Huang, Alvin W...
—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...