523 search results - page 57 / 105 » Embedded Software Development with Projectional Language Wor... |
128
click to vote
ICST
2008
IEEE
15 years 8 months ago
2008
IEEE
In recent years the development of automotive embedded devices has changed from an electrical and mechanical engineering discipline to a combination of software and electrical/mec...
111
click to vote
UIST
2006
ACM
15 years 8 months ago
2006
ACM
The recent trend towards miniaturization of projection technology indicates that handheld devices will soon have the ability to project information onto any surface, thus enabling...
102
click to vote
VSTTE
2005
Springer
15 years 7 months ago
2005
Springer
The interplay back and forth between software model checking and hardware model checking has been fruitful for both. Originally intended for the analysis of concurrent software, mo...
133
Voted
WWW
2005
ACM
16 years 2 months ago
2005
ACM
Digital content is not only stored by servers on the Internet, but also on various embedded devices belonging to ubiquitous networks. In this paper, we propose a content processin...
144
click to vote
SIGSOFT
2010
ACM
14 years 12 months ago
2010
ACM
This paper presents the results of the first study of the uniqueness of source code. We define the uniqueness of a unit of source code with respect to the entire body of written s...