Sciweavers

19986 search results - page 310 / 3998
» On Designing Software Architectures
Sort
View
CBSE
2006
Springer
15 years 8 months ago
Using a Lightweight Workflow Engine in a Plugin-Based Product Line Architecture
This paper presents a software product line architecture where applications are assembled by installing a set of plugins on a common software base. In this architecture, the softwa...
Humberto Cervantes, Sonia Charleston-Villalobos
CCS
2009
ACM
15 years 10 months ago
On voting machine design for verification and testability
We present an approach for the design and analysis of an electronic voting machine based on a novel combination of formal verification and systematic testing. The system was desig...
Cynthia Sturton, Susmit Jha, Sanjit A. Seshia, Dav...
SIGMOD
2007
ACM
150views Database» more  SIGMOD 2007»
16 years 6 months ago
System design issues in sensor databases
In-network sensor query processing systems (ISQPs), or sensor databases, have been developed to acquire, process and aggregate data from wireless sensor networks (WSNs). Because W...
Qiong Luo, Hejun Wu
DATE
2006
IEEE
125views Hardware» more  DATE 2006»
16 years 23 days ago
Formal performance analysis and simulation of UML/SysML models for ESL design
UML2 and SysML try to adopt techniques known from software development to systems engineering. However, the focus has been put on modeling aspects until now and quantitative perfo...
Alexander Viehl, Timo Schönwald, Oliver Bring...
LAWEB
2006
IEEE
16 years 21 days ago
Modeling and Composing Navigational Concerns in Web Applications. Requirements and Design Issues
Complex applications, in particular Web applications, deal with a myriad of different concerns and some of them affect several others. The result is that these crosscutting concer...
Silvia E. Gordillo, Gustavo Rossi, Ana Moreira, Jo...