Sciweavers

2523 search results - page 386 / 505
» Correct Development of Embedded Systems
Sort
View
ICST
2009
IEEE
13 years 6 months ago
Putting Formal Specifications under the Magnifying Glass: Model-based Testing for Validation
A software development process is conceptually an abstract form of model transformation, starting from an enduser model of requirements, through to a system model for which code c...
Emine G. Aydal, Richard F. Paige, Mark Utting, Jim...
EICS
2010
ACM
14 years 2 months ago
Using ensembles of decision trees to automate repetitive tasks in web applications
Web applications such as web-based email, spreadsheets and form filling applications have become ubiquitous. However, many of the tasks that users try to accomplish with such web ...
Zachary Bray, Per Ola Kristensson
SJ
2010
120views more  SJ 2010»
13 years 7 months ago
Rapid Prototyping for Wildlife and Ecological Monitoring
—Wildlife tracking and ecological monitoring are important for scientific monitoring, wildlife rehabilitation, disease control, and sustainable ecological development. Yet techn...
Jyh-How Huang, Ying-Yu Chen, Yu-Te Huang, Po-Yen L...
EUC
2007
Springer
14 years 3 months ago
Palpability Support Demonstrated
Abstract. In ubiquitous computing, as more and more devices are embedded into the environment, there is a risk that the user loses the understanding of the system. In normal use th...
Jeppe Brønsted, Erik Grönvall, David F...
SENSYS
2005
ACM
14 years 2 months ago
Design and deployment of industrial sensor networks: experiences from a semiconductor plant and the north sea
Sensing technology is a cornerstone for many industrial applications. Manufacturing plants and engineering facilities, such as shipboard engine rooms, require sensors to ensure pr...
Lakshman Krishnamurthy, Robert Adler, Philip Buona...