4341 search results - page 542 / 869 » Quantitative Model checking |
200
click to vote
QEST
2006
IEEE
16 years 21 days ago
2006
IEEE
As an execution platform, the Java Virtual Machine (JVM) provides many benefits in terms of portability and security. However, this advantage turns into an obstacle when it comes...
122
click to vote
CSB
2005
IEEE
16 years 9 days ago
2005
IEEE
We have used quantitative modeling of signaling networks to show that the mitogen-activated protein kinase cascade — a highly-conserved signaling network in eukaryotes — can f...
176
click to vote
DEXAW
2005
IEEE
16 years 9 days ago
2005
IEEE
Software organizations follow capability models in order to aggregate quality to their processes and products. Process measurement and analysis are key issues, but their implement...
163
click to vote
ISWC
2005
IEEE
16 years 8 days ago
2005
IEEE
Children with autism often exhibit self-stimulatory (or “stimming”) behaviors. We present an on-body sensing system for continuous recognition of stimming activity. By creatin...
172
Voted
QEST
2005
IEEE
16 years 8 days ago
2005
IEEE
Abstract— Approximation techniques for labelled Markov processes on continuous state spaces were developed by Desharnais, Gupta, Jagadeesan and Panangaden. However, it has not be...