Filter your results
- 22
- 1
- 22
- 1
- 23
- 23
- 23
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
|
Rewriting Logic Approach to Modeling and Analysis of Client Behavior in Open Systems8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.83-94, ⟨10.1007/978-3-642-16256-5_10⟩
Conference papers
hal-01055395v1
|
||
|
A Model-Driven Software Development Approach Using OMG DDS for Wireless Sensor Networks8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.95-106, ⟨10.1007/978-3-642-16256-5_11⟩
Conference papers
hal-01055394v1
|
||
|
A Model-Based Design Methodology with Contracts to Enhance the Development Process of Safety-Critical Systems8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.59-70, ⟨10.1007/978-3-642-16256-5_8⟩
Conference papers
hal-01055376v1
|
||
|
Ubiquitous Verification of Ubiquitous Systems8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.47-58, ⟨10.1007/978-3-642-16256-5_7⟩
Conference papers
hal-01055377v1
|
||
|
OTAWA: An Open Toolbox for Adaptive WCET Analysis8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.35-46, ⟨10.1007/978-3-642-16256-5_6⟩
Conference papers
hal-01055378v1
|
||
|
Crash Recovery in FAST FTL8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.13-22, ⟨10.1007/978-3-642-16256-5_4⟩
Conference papers
hal-01055380v1
|
||
|
Mobile Phone Assisted Cooperative On-Node Processing for Physical Activity Monitoring8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.239-251, ⟨10.1007/978-3-642-16256-5_23⟩
Conference papers
hal-01055382v1
|
||
|
Composition Kernel: A Multi-core Processor Virtualization Layer for Rich Functional Smart Products8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.227-238, ⟨10.1007/978-3-642-16256-5_22⟩
Conference papers
hal-01055383v1
|
||
|
Mobile Agents for Digital Signage8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.216-226, ⟨10.1007/978-3-642-16256-5_21⟩
Conference papers
hal-01055384v1
|
||
|
An Investigation on Flexible Communications in Publish/Subscribe Services8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.204-215, ⟨10.1007/978-3-642-16256-5_20⟩
Conference papers
hal-01055385v1
|
||
|
EMWF: A Middleware for Flexible Automation and Assistive Devices8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.191-203, ⟨10.1007/978-3-642-16256-5_19⟩
Conference papers
hal-01055386v1
|
||
|
Building a Time- and Space-Partitioned Architecture for the Next Generation of Space Vehicle Avionics8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.179-190, ⟨10.1007/978-3-642-16256-5_18⟩
Conference papers
hal-01055387v1
|
||
|
Specification of Embedded Control Systems Behaviour Using Actor Interface Automata8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.167-178, ⟨10.1007/978-3-642-16256-5_17⟩
Conference papers
hal-01055388v1
|
||
|
Code Generation for Embedded Java with Ptolemy8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.155-166, ⟨10.1007/978-3-642-16256-5_16⟩
Conference papers
hal-01055389v1
|
||
|
Simultaneous Logging and Replay for Recording Evidences of System Failures8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.143-154, ⟨10.1007/978-3-642-16256-5_15⟩
Conference papers
hal-01055390v1
|
||
|
Error Detection Rate of MC/DC for a Case Study from the Automotive Domain8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.131-142, ⟨10.1007/978-3-642-16256-5_14⟩
Conference papers
hal-01055391v1
|
||
|
On the Schedulability Analysis for Dynamic QoS Management in Distributed Embedded Systems8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.119-130, ⟨10.1007/978-3-642-16256-5_13⟩
Conference papers
hal-01055392v1
|
||
|
Reactive Clock Synchronization for Wireless Sensor Networks with Asynchronous Wakeup Scheduling8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.107-118, ⟨10.1007/978-3-642-16256-5_12⟩
Conference papers
hal-01055393v1
|
||
|
Chip-Size Evaluation of a Multithreaded Processor Enhanced with a PID Controller8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.3-12, ⟨10.1007/978-3-642-16256-5_3⟩
Conference papers
hal-01055381v1
|
||
|
Time-Predictable Computing8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.23-34, ⟨10.1007/978-3-642-16256-5_5⟩
Conference papers
hal-01055379v1
|
||
|
Component-Based Design of Embedded Systems8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.1, ⟨10.1007/978-3-642-16256-5_1⟩
Conference papers
hal-01061218v1
|
||
|
AUTOSAR Appropriates Functional Safety and Multi-core Exploitation8th IFIP WG 10.2 International Workshop on Software Technologies for Embedded and Ubiquitous Systems (SEUS), Oct 2010, Waidhofen/Ybbs, Austria. pp.2, ⟨10.1007/978-3-642-16256-5_2⟩
Conference papers
hal-01061223v1
|
||
|
Software Technologies for Embedded and Ubiquitous SystemsSpringer, LNCS-6399, 2010, Lecture Notes in Computer Science, 978-3-642-16255-8. ⟨10.1007/978-3-642-16256-5⟩
Books
hal-01555742v1
|