Sciweavers

3216 search results - page 409 / 644
» Software engineering issues for mobile application developme...
Sort
View
ICSE
2004
IEEE-ACM
16 years 3 months ago
Feature-Oriented Programming and the AHEAD Tool Suite
1 Feature Oriented Programming (FOP) is an emerging paradigm for application synthesis, analysis, and optimization. A target application is specified declaratively as a set of feat...
Don S. Batory
112
Voted
FASE
2009
Springer
15 years 10 months ago
A Formal Connection between Security Automata and JML Annotations
Security automata are a convenient way to describe security policies. Their typical use is to monitor the execution of an application, and to interrupt it as soon as the security p...
Marieke Huisman, Alejandro Tamalet
136
Voted
SEFM
2009
IEEE
15 years 10 months ago
Implementation Correctness of a Real-Time Operating System
—In the modern car, electronic devices are even employed for safety-critical missions like brake control, where failures might cost human lives. Among various approaches to incre...
Matthias Daum, Norbert Schirmer, Mareike Schmidt
COMSWARE
2008
IEEE
15 years 10 months ago
Undersea wireless sensor network for ocean pollution prevention
—The ability to effectively communicate underwater has numerous applications, such as oceanographic data collection, pollution monitoring, disaster prevention, assisted navigatio...
Arijit Khan, Lawrence Jenkins
132
Voted
AUIC
2006
IEEE
15 years 9 months ago
Visualising phylogenetic trees
• This paper describes techniques for visualising pairs of similar trees. Our aim is to develop ways of presenting the information so as to highlight both the common structure of...
Wan Nazmee Wan Zainon, Paul R. Calder