Sciweavers

1528 search results - page 234 / 306
» Object-Oriented Software Composition
Sort
View
WSTFEUS
2003
IEEE
14 years 3 months ago
Requirements for a Component Framework of Future Ubiquitous Computing
System software for future computing environments becomes more complex and heterogeneous. Portability becomes one of the important properties of the future system software. Compon...
Hiroo Ishikawa, Yuuki Ogata, Kazuto Adachi, Tatsuo...
ECMDAFA
2010
Springer
241views Hardware» more  ECMDAFA 2010»
14 years 2 months ago
Detecting Inconsistencies in Multi-View Models with Variability
Multi-View Modeling (MVM) is a common modeling practice that advocates the use of multiple, different and yet related models to represent the needs of diverse stakeholders. Of cruc...
Roberto Erick Lopez-Herrejon, Alexander Egyed
EUROPAR
2001
Springer
14 years 2 months ago
A Component Framework for HPC Applications
Abstract. We describe a general component software framework designed for demanding grid environments that provides optimal performance for the assembled component application. Thi...
Nathalie Furmento, Anthony Mayer, Stephen McGough,...
SIGSOFT
2000
ACM
14 years 2 months ago
Automating first-order relational logic
An automatic analysis method for first-order logic with sets and relations is described. A first-order formula is translated to a quantifier-free boolean formula, which has a mode...
Daniel Jackson
APSEC
1999
IEEE
14 years 2 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