Sciweavers

1315 search results - page 186 / 263
» Towards Requirements Engineering for Context Adaptive System...
Sort
View
ISPASS
2003
IEEE
15 years 6 months ago
Evaluating the importance of virtual memory for Java
The Java language has rapidly become widespread and it is being used to implement a broad range of applications, including applications with high resource requirements. For this r...
Yolanda Becerra, Toni Cortes, Jordi Garcia, Nacho ...
COMPLIFE
2006
Springer
15 years 5 months ago
Software Supported Modelling in Pharmacokinetics
A powerful new software concept to physiologically based pharmacokinetic (PBPK) modelling of drug disposition is presented. It links the inherent modular understanding in pharmacol...
Regina Telgmann, Max von Kleist, Wilhelm Huisinga
ASM
2008
ASM
15 years 3 months ago
Model Checking Event-B by Encoding into Alloy
As systems become ever more complex, verification becomes more main stream. Event-B and Alloy are two formal specification languages based on fairly different methodologies. While...
Paulo J. Matos, João Marques-Silva
IADIS
2004
15 years 2 months ago
Telecollaboration - a case study for performance analysis of voip systems
The evolving nature of complex traffic issues of IP (Internet Protocol)-based Telecollaboration (TC) business system technology requires an intuitive understanding for the partici...
Venkatesh Mahadevan, Zenon Chaczko
WMTE
2006
IEEE
15 years 7 months ago
Entre-pass: Personalising u-learning with Intelligent Agents
Delivering learning materials anytime, anywhere is the goal underpinning the ubiquitous learning (u-learning) paradigm. Personalising u-learning courseware delivers a unique learn...
Brid C. Doherty, P. T. O'Hare, Michael J. O'Grady,...