4890 search results - page 503 / 978 » From system specifications to component behavioral models |
186
click to vote
OSDI
2004
ACM
16 years 7 months ago
2004
ACM
Tools to understand complex system behaviour are essential for many performance analysis and debugging tasks, yet there are many open research problems in their development. Magpi...
159
click to vote
TOOLS
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper summarises a tutorial entitled Analysis by Contract. Using fragments from a simple case study concerning a video store, the paper shows how a type model can provide the...
229
click to vote
COMPLIFE
2006
Springer
15 years 11 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...
191
click to vote
HICSS
2009
IEEE
16 years 2 months ago
2009
IEEE
Consumer informedness plays a critical role in determining consumer choice. Companies now use hyperdifferentiation and resonance marketing strategies to benefit from the long-tail....
210
click to vote
EMNLP
2008
15 years 8 months ago
2008
NLP tasks are often domain specific, yet systems can learn behaviors across multiple domains. We develop a new multi-domain online learning framework based on parameter combinatio...