3387 search results - page 392 / 678 » Automating the Metamodeling Process |
136
click to vote
KBSE
2008
IEEE
16 years 1 months ago
2008
IEEE
Domain-specific architectures, middleware platforms, and analysis techniques leverage domain knowledge to help engineers build systems more effectively. An integrated set of these...
166
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
LF is a dependent type theory in which many other formal systems can be conveniently embedded. However, correct use of LF relies on nontrivial metatheoretic developments such as p...
156
click to vote
LICS
2008
IEEE
16 years 1 months ago
2008
IEEE
We investigate the (in)equational theory of impossible futures semantics over the process algebra BCCSP. We prove that no finite, sound axiomatization for BCCSP modulo impossible...
181
click to vote
AINA
2007
IEEE
16 years 29 days ago
2007
IEEE
This position paper proposes a device-blending architecture for aggregating device functionality via inter-device peer-topeer relationships, effectively forming a multi-device “...
155
click to vote
CEC
2007
IEEE
16 years 29 days ago
2007
IEEE
Abstract— The next generation of embedded computing systems will have to meet new challenges. The systems are expected to act mainly autonomously, to dynamically adapt to changin...