3161 search results - page 404 / 633 » Documenting framework behavior |
170
Voted
FASE
2010
Springer
16 years 1 months ago
2010
Springer
Abstract. Model transformations are indispensable to model-based development (MBD) where they act as translators between domain-specific languages (DSLs). As a result, transformat...
176
Voted
TACAS
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. This paper presents algorithms and data structures that exploit a compositional and hierarchical specification to enable more efficient symbolic modelchecking. We encod...
167
Voted
CEC
2009
IEEE
16 years 1 months ago
2009
IEEE
— It is advantageous for colony robots to be autonomous and self-sufficient. This requires them to perform their duties while maintaining enough energy to operate. Previously, we...
200
Voted
DSN
2009
IEEE
16 years 1 months ago
2009
IEEE
The OSGi framework is a Java-based, centralized, component oriented platform. It is being widely adopted as an execution environment for the development of extensible applications...
203
Voted
ICASSP
2009
IEEE
16 years 1 months ago
2009
IEEE
Motion scalability is designed to improve the coding efficiency of a scalable video coding framework, especially in the medium to low range of decoding bit rates or spatial resol...