11603 search results - page 576 / 2321 » Securing Embedded Systems |
234
click to vote
COORDINATION
2008
Springer
15 years 9 months ago
2008
Springer
Abstract. We propose and formalize HomeBPEL, a higher-order WSBPEL-like business process execution language where processes are firstclass values that can be stored in variables, p...
195
click to vote
CSREAESA
2006
15 years 8 months ago
2006
- This paper presents a dual-core embedded System-on-Chip for a wide range of application fields with particularly high processing demands, including general signal processing, vid...
215
click to vote
JNCA
2007
15 years 6 months ago
2007
Powerful microcontrollers are used as parts of most home and office appliances of today. Integrating web servers to these intelligent devices will aid in controlling them over th...
229
click to vote
ESTIMEDIA
2009
Springer
15 years 5 months ago
2009
Springer
Abstract--Memory accesses are a major cause of energy consumption for embedded systems and the stack is a frequent target for data accesses. This paper presents a fully software te...
183
click to vote
PACT
2005
Springer
16 years 21 days ago
2005
Springer
Abstract. We use an enhanced operational semantics to infer quantitative measures on systems describing cryptographic protocols. System transitions carry enhanced labels. We assign...