Sciweavers

3045 search results - page 278 / 609
» Formal Approaches to Software Architecture
Sort
View
FASE
2010
Springer
16 years 1 months ago
Performance Modeling and Analysis of Context-Aware Mobile Software Systems
Abstract. Context-awareness is becoming a first class attribute of software systems. In fact, applications for mobile devices need to be aware of their context in order to adapt t...
Luca Berardinelli, Vittorio Cortellessa, Antinisca...
CSMR
2007
IEEE
16 years 1 months ago
A Multi-view Toolkit to Assist Software Integration and Evolution
Software product line engineering aims at producing functionally similar software systems as a family of products. In this process, the development life cycle has been shifted from...
Kamran Sartipi
154
Voted
ICSE
2003
IEEE-ACM
16 years 6 months ago
Sound Methods and Effective Tools for Engineering Modeling and Analysis
Modeling and analysis is indispensable in engineering. To be safe and effective, a modeling method requires a language with a validated semantics; feature-rich, easy-to-use, depen...
David Coppit, Kevin J. Sullivan
APSEC
1999
IEEE
15 years 11 months ago
Sequence Operators: Specifying Behavioral Interfaces of Smalltalk Blocks
The ability to treat code as data within a programming language is a powerful feature. Smalltalk introduces an object called a block that represents code as data. We propose a for...
Yoonsik Cheon, Heung-Nam Kim
TVLSI
2008
90views more  TVLSI 2008»
15 years 6 months ago
A Special-Purpose Architecture for Solving the Breakpoint Median Problem
Abstract--In this paper, we describe the design for a co-processor for whole-genome phylogenetic reconstruction. Our current design performs a parallelized breakpoint median comput...
Jason D. Bakos, Panormitis E. Elenis