373 search results - page 47 / 75 » Challenges in the development of Mechatronic systems: The Me... |
JUCS
2008
13 years 7 months ago
2008
: Nowadays, the complexity of software applications has brought new challenges to developers, having to deal with a large number of computational requirements. Among these requirem...
ATVA
2006
Springer
13 years 11 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...
CG
2005
Springer
13 years 7 months ago
2005
Springer
One main challenge in building interpreters for hand-drawn sketches is the task of parsing a sketch to locate the individual symbols. Many existing pen-based systems avoid this pr...
HICSS
2003
IEEE
14 years 29 days ago
2003
IEEE
For many years mobile visitor information systems for museums or exhibitions are a topic of research. Research prototypes aim to provide the user with powerful means for organizin...
ISSTA
2010
ACM
13 years 11 months ago
2010
ACM
Virtual machines offer the ability to partition the resources of a physical system and to create isolated execution environments. The development of virtual machines is a very ch...