2523 search results - page 269 / 505 » Correct Development of Embedded Systems |
124
click to vote
SIGCSE
2009
ACM
15 years 8 months ago
2009
ACM
Wireless sensor networks are revolutionizing the instrumentation of the physical world, across scientific, industrial and military applications. In this paper, we describe our eff...
169
Voted
ATVA
2006
Springer
15 years 7 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...
169
Voted
ICDAR
2011
IEEE
14 years 3 months ago
2011
IEEE
— A competition on recognition of online handwritten mathematical expressions is organized. Recognition of mathematical expressions has been an attractive problem for the pattern...
123
click to vote
OSS
2007
Springer
15 years 9 months ago
2007
Springer
Some free software and open source projects have been extremely successful in the past. The success of a project is often related to the number of developers it can attract: a larg...
137
click to vote
BIRTHDAY
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The aim of the MMiSS project is the construction of a multimedia Internet-based adaptive educational system. Its content will initially cover a whole curriculum in the ar...