171 search results - page 12 / 35 » Theory and Applications of Evolvable Embedded Systems |
89
Voted
MSWIM
2006
ACM
15 years 4 months ago
2006
ACM
A generic theoretical framework for managing critical events in ubiquitous computing systems is presented. The main idea is to automatically respond to occurrences of critical eve...
KBSE
2009
IEEE
15 years 5 months ago
2009
IEEE
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
68
Voted
DM
2008
14 years 11 months ago
2008
The present paper continues the study (begun by Quattrocchi, Colouring 4-cycle systems with specified block colour pattern: the case of embedding P3-designs, Electron. J. Combin.,...
104
click to vote
ICIP
2003
IEEE
16 years 15 days ago
2003
IEEE
Curvature flows have been extensively considered from a deterministic point of view. They have been shown to be useful for a number of applications including crystal growth, flame...
114
Voted
ECBS
2010
IEEE
15 years 3 months ago
2010
IEEE
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...