Sciweavers

799 search results - page 136 / 160
» Generating Reliable Code from Hybrid-Systems Models
Sort
View
ADHOC
2008
135views more  ADHOC 2008»
13 years 10 months ago
Rapid design and evaluation framework for wireless sensor networks
The diversity of applications and typically scarce node resources set very tight constraints to Wireless Sensor Networks (WSN). It is not possible to fulfill all requirements with...
Mauri Kuorilehto, Marko Hännikäinen, Tim...
ICIP
2000
IEEE
14 years 11 months ago
Orientation Template Matching for Face Localization in Complex Visual Scenes
An important topic in face recognition as well as in video coding or multi-modal human machine interfaces is the automatic localization of faces or headand-shoulder regions in vis...
Bernhard Fröba, Christian Küblbeck
WWW
2007
ACM
14 years 10 months ago
Web mashup scripting language
The Web Mashup Scripting Language (WMSL) enables an enduser ("you") working from his browser, e.g. not needing any other infrastructure, to quickly write mashups that in...
Marwan Sabbouh, Jeff Higginson, Salim Semy, Danny ...
ISSTA
2006
ACM
14 years 3 months ago
Coverage metrics for requirements-based testing
In black-box testing, one is interested in creating a suite of tests from requirements that adequately exercise the behavior of a software system without regard to the internal st...
Michael W. Whalen, Ajitha Rajan, Mats Per Erik Hei...
VL
2005
IEEE
14 years 3 months ago
Transformation of UML State Machines for Direct Execution
Executable UML models are nowadays gaining interest in embedded systems design. This domain is strongly devoted to the modeling of reactive behavior using StateChart variants. In ...
Tim Schattkowsky, Wolfgang Müller 0003