Sciweavers

15777 search results - page 319 / 3156
» Engineering in Software
Sort
View
QSIC
2008
IEEE
16 years 1 months ago
An Executable Interface Specification for Industrial Embedded System Design
Jinfeng Huang, Jeroen Voeten, Serge Wolfs, Mark Co...
SEAA
2008
IEEE
16 years 1 months ago
SAIL: A Sensor Abstraction and Integration Layer for Context Awareness
Michele Girolami, Stefano Lenzi, Francesco Furfari...
SEAA
2008
IEEE
16 years 1 months ago
Web Browser as an Application Platform
Antero Taivalsaari, Tommi Mikkonen, Dan Ingalls, K...
TASE
2008
IEEE
16 years 1 months ago
A Relational Model for Confined Separation Logic
Shuling Wang, Luís Soares Barbosa, Jos&eacu...