Sciweavers

2369 search results - page 115 / 474
» Software Supported Modelling in Pharmacokinetics
Sort
View
KBSE
1999
IEEE
15 years 10 months ago
Modular and Incremental Analysis of Concurrent Software Systems
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
Hassen Saïdi
ULPAA
1992
79views Hardware» more  ULPAA 1992»
15 years 7 months ago
Touring Machine: A Software Platform for Distributed Multimedia Applications
The goal of the Touring Machine project is to provide a reliable and extensible software platform that supports independently-developed distributed multimedia applications. The pr...
Mauricio Arango, Peter Bates, Robert Fish, Gita Go...
METRICS
2005
IEEE
16 years 23 hour ago
Software, Performance and Resource Utilisation Metrics for Context-Aware Mobile Applications
As mobile applications become more pervasive, the need for assessing their quality, particularly in terms of efficiency (i.e. performance and resource utilisation), increases. Alt...
Caspar Ryan, Pablo Rossi
APSEC
2007
IEEE
15 years 8 months ago
An Approach to Probabilistic Effort Estimation for Military Avionics Software Maintenance by Considering Structural Characterist
The needs of software maintenance and the importance of maintenance project management increase rapidly in the military avionics industry. Although few previous studies related to...
Tae-Hoon Song, Kyung-A Yoon, Doo-Hwan Bae
HICSS
2005
IEEE
83views Biometrics» more  HICSS 2005»
16 years 1 days ago
Predicting the Usage of P2P Sharing Software: The Role of Trust and Perceived Risk
Peer-to-Peer, or P2P sharing has gone through fast growth in recent years and drawn the interests of Information Systems (IS) researchers. However, there is a lack of empirical st...
Heng Xu, Hao Wang, Hock-Hai Teo