10458 search results - page 13 / 2092 » Modeling Features at Runtime |
STTT
2010
14 years 10 months ago
2010
Abstract. Runtime (dynamic) model checking is a promising verification methodology for real-world threaded software because of its many features, the prominent ones being: (i) it ...
PERCOM
2007
ACM
15 years 11 months ago
2007
ACM
The Context Modelling Language (CML), derived from Object Role Modeling (ORM), is a powerful approach for capturing the pertinent object types and relationships between those type...
ECOOP
2006
Springer
15 years 3 months ago
2006
Springer
Abstract. Our research group has analyzed many industrial, frameworkbased applications. In these applications, simple functionality often requires excessive runtime activity. It is...
CODES
2006
IEEE
15 years 5 months ago
2006
IEEE
We present an adaptive, feedback-based, energy estimation model for battery-powered embedded devices such as sensor network gateways and hand-held computers. Our technique maps ha...
MODELS
2009
Springer
15 years 6 months ago
2009
Springer
