6701 search results - page 1018 / 1341 » Medical Embedded Systems |
170
click to vote
DATE
2010
IEEE
15 years 5 months ago
2010
IEEE
Abstract—The SPEEDS project is aimed at making rich components models (RCM) into a mature framework in all phases of the design of complex distributed embedded systems. The RCM m...
173
click to vote
ICWE
2010
Springer
15 years 5 months ago
2010
Springer
Many efforts are currently going towards networking smart things from the physical world (e.g. RFID, wireless sensor and actuator networks, embedded devices) on a larger scale. Rat...
158
click to vote
ISOLA
2010
Springer
15 years 5 months ago
2010
Springer
SMT—building flexible yet efficient abstraction/refinement solvers. International Journal on Software Tools for Technology Transfer, 12(1):23–37, February 2010. Wolfgang Hab...
147
click to vote
JOLLI
2010
15 years 5 months ago
2010
Abstract PGF (Portable Grammar Format) is a low-level language used as a target of compiling grammars written in GF (Grammatical Framework). Low-level and simple, PGF is easy to re...
175
click to vote
MSCS
2010
15 years 5 months ago
2010
Iterative monads, introduced by Calvin Elgot in the 1970’s, are those ideal monads in which every guarded system of recursive equations has a unique solution. For every ideal mon...