Sciweavers

15155 search results - page 266 / 3031
» System Software
Sort
View
ICSE
1993
IEEE-ACM
15 years 10 months ago
Procedure Calls Are the Assembly Language of Software Interconnection: Connectors Deserve First-Class Status
Software designers compose systems from components written in some prolanguage. They regularly describe systems using abstract patterns and sophisticated relations among component...
Mary Shaw
IPPS
2007
IEEE
16 years 27 days ago
Identifying and Addressing Uncertainty in Architecture-Level Software Reliability Modeling
Assessing reliability at early stages of software development, such as at the level of software architecture, is desirable and can provide a cost-effective way of improving a soft...
Leslie Cheung, Leana Golubchik, Nenad Medvidovic, ...
FCCM
2009
IEEE
170views VLSI» more  FCCM 2009»
15 years 4 months ago
Generic Software Framework for Adaptive Applications on FPGAs
Adaptive systems are set to become more mainstream, as numerous practical applications in the communications domain emerge. FPGAs offer an ideal implementation platform, combining...
Suhaib A. Fahmy, Jorg Lotze, Juanjo Noguera, Linda...
HICSS
2008
IEEE
129views Biometrics» more  HICSS 2008»
16 years 1 months ago
Understanding Development and Usage of Social Networking Sites: The Social Software Performance Model
Social networking sites such as MySpace and Facebook thrive on energetic social interaction, but the factors that assure this are not well understood. There is a lack of theory th...
Catherine Dwyer, Starr Roxanne Hiltz, George Widme...
KBSE
2003
IEEE
15 years 12 months ago
Automated Environment Generation for Software Model Checking
A key problem in model checking open systems is environment modeling (i.e., representing the behavior of the execution context of the system under analysis). Software systems are ...
Oksana Tkachuk, Matthew B. Dwyer, Corina S. Pasare...