Sciweavers

2255 search results - page 129 / 451
» High Assurance Software Systems
Sort
View
ICMCS
1999
IEEE
135views Multimedia» more  ICMCS 1999»
14 years 2 months ago
Do Software Engineers Like Multimedia?
Multimedia is not a dream anymore. Nowadays we use images (e.g., GIF, JPEG, and BMP), videos (e.g., MPEG, AVI, and QuickTime), and sounds (e.g., MIDI and WAV) as well as alphanume...
Masahito Hirakawa
WICSA
2008
13 years 11 months ago
Ready! Set! Go! An Action Research Agenda for Software Architecture Research
Software architecture practice is highly complex. Software architects interact with business as well as technical aspects of systems, often embedded in large and changing organiza...
Henrik Bærbak Christensen, Klaus Marius Hans...
JSW
2008
131views more  JSW 2008»
13 years 10 months ago
An Application Directed Adaptive Framework for Autonomic Software
Autonomic computing is gradually becoming accepted as a viable approach to achieving self-management in systems and networks, with the goal of lessening the impact of the complexit...
Bridget Meehan, Girijesh Prasad, T. Martin McGinni...
KBSE
2008
IEEE
14 years 4 months ago
Type-Checking Software Product Lines - A Formal Approach
—A software product line (SPL) is an efficient means to generate a family of program variants for a domain from a single code base. However, because of the potentially high numb...
Christian Kästner, Sven Apel
INDOCRYPT
2007
Springer
14 years 4 months ago
X-FCSR - A New Software Oriented Stream Cipher Based Upon FCSRs
Abstract. Feedback with Carry Shift Registers (FCSRs) are a promising alternative to LFSRs in the design of stream ciphers. The previous constructions based on FCSRs were dedicated...
François Arnault, Thierry P. Berger, C&eacu...