5608 search results - page 805 / 1122 » Structure description tools |
155
click to vote
CAV
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We address the verification problem of programs manipulating oneselector linked data structures. We propose a new automated approach for checking safety and termination f...
208
click to vote
DEXAW
2004
IEEE
15 years 10 months ago
2004
IEEE
Wide-area networks provide an easy access to many different distributed and heterogeneous data sources. The development of automated operating tools is still complex, particularly...
171
click to vote
EUROMICRO
2004
IEEE
15 years 10 months ago
2004
IEEE
Software applications can be described as compositions are components at an abstract level. In this paper we present a component modeling process which allows to design, model and...
200
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...
170
click to vote
ENTER
2006
Springer
15 years 10 months ago
2006
Springer
The complexity and dynamic nature of travelling offers many opportunities for technological support. But printed guidebooks remain the typical companion, despite many weaknesses. ...