1805 search results - page 140 / 361 » File System Interfaces for Embedded Software Development |
ATVA
2006
Springer
14 years 1 months ago
2006
Springer
In this paper, we present and illustrate an approach to compositional reasoning for hardware/software co-verification of embedded systems. The major challenges in compositional rea...
DSVIS
2008
Springer
2008
Springer
Towards Specifying Multimodal Collaborative User Interfaces: A Comparison of Collaboration Notations
13 years 12 months ago
Interactive systems including multiple interaction devices and surfaces for supporting the collaboration of a group of co-located users are increasingly common in various domains. ...
CISSE
2009
Springer
13 years 8 months ago
2009
Springer
In Component-based Software (CBS) development, it is desirable to choose software components that provide all necessary functionalities and at the same time optimize certain nonfun...
RTCSA
2006
IEEE
14 years 4 months ago
2006
IEEE
In ubiquitous computing environments, contextawareness is one of the most important research topics. Computers embedded in our surrounding can extract information about a user, an...
MHCI
2005
Springer
14 years 3 months ago
2005
Springer
This paper presents a framework for the pervasive sharing of data using wireless networks. ‘FarCry’ uses the mobility of users to carry files between separated networks. Throu...