Sciweavers

5423 search results - page 220 / 1085
» Denial-of-service in automation systems
Sort
View
ETFA
2006
IEEE
16 years 21 days ago
Towards Plug and Play in Home and Building Automation Networks
High configuration cost hampers the adoption of powerful home automation solutions. Automating the necessary configuration steps will alleviate this problem. The article define...
Georg Neugschwandtner
ESOP
2010
Springer
16 years 4 months ago
Precise and Automated Contract-based Reasoning for Verification and Certification of Information Flow Properties of Programs wit
Abstract. Embedded information assurance applications that are critical to national and international infrastructures, must often adhere to certification regimes that require infor...
Torben Amtoft, John Hatcliff and Edwin Rodríguez
SEKE
2009
Springer
16 years 1 months ago
Bridging Semantic Gaps Between Stakeholders in the Production Automation Domain with Ontology Areas
Abstract—Stakeholders from several domains with local terminologies have to work together to develop and operate softwareintensive systems, like production automation systems. On...
Stefan Biffl, Wikan Danar Sunindyo, Thomas Moser
UIST
2009
ACM
16 years 1 months ago
Sikuli: using GUI screenshots for search and automation
We present Sikuli, a visual approach to search and automation of graphical user interfaces using screenshots. Sikuli allows users to take a screenshot of a GUI element (such as a ...
Tom Yeh, Tsung-Hsiang Chang, Robert C. Miller
HICSS
2007
IEEE
125views Biometrics» more  HICSS 2007»
16 years 29 days ago
Reconciling Manual and Automated Testing: The AutoTest Experience
Software can be tested either manually or automatically. The two approaches are complementary: automated testing can perform a large number of tests in little time, whereas manual...
Andreas Leitner, Ilinca Ciupa, Bertrand Meyer, Mar...