4048 search results - page 434 / 810 » Design Science, Engineering Science and Requirements Enginee... |
183
click to vote
COMPLIFE
2006
Springer
15 years 10 months ago
2006
Springer
A powerful new software concept to physiologically based pharmacokinetic (PBPK) modelling of drug disposition is presented. It links the inherent modular understanding in pharmacol...
149
click to vote
MKWI
2008
15 years 7 months ago
2008
: In order to respond quickly to changing market requirements, a business organisation needs to increase the level of agility in all phases of the business process engineering chai...
164
click to vote
CSSE
2008
IEEE
15 years 6 months ago
2008
IEEE
Along with the variation of the market circumstance the automotive industry has to be confronted with various challenges. In order to satisfy the customers' requirement of Imp...
154
click to vote
ASWEC
2006
IEEE
16 years 10 days ago
2006
IEEE
This paper describes the formalisation of Java thread synchronisation in an extended Owicki-Gries theory, which facilitates the proof of safety and progress properties of multi-th...
160
click to vote
APSEC
2005
IEEE
15 years 12 months ago
2005
IEEE
Exception handling design is an important but difficult subject in software development. In Java software development, the use of checked exceptions exacerbates the difficulty. In...