Sciweavers

9974 search results - page 366 / 1995
» Software Interconnection Models
Sort
View
239
Voted
IESS
2007
Springer
143views Hardware» more  IESS 2007»
16 years 1 months ago
Embedded Software Development in a System-Level Design Flow
Abstract System level design is considered a major approach to tackle the complexity of modern System-on-Chip designs. Embedded software within SoCs is gaining importance as it add...
Gunar Schirner, Gautam Sachdeva, Andreas Gerstlaue...
HICSS
2005
IEEE
83views Biometrics» more  HICSS 2005»
16 years 1 months ago
Predicting the Usage of P2P Sharing Software: The Role of Trust and Perceived Risk
Peer-to-Peer, or P2P sharing has gone through fast growth in recent years and drawn the interests of Information Systems (IS) researchers. However, there is a lack of empirical st...
Heng Xu, Hao Wang, Hock-Hai Teo
EMSOFT
2001
Springer
15 years 12 months ago
A Network-Centric Approach to Embedded Software for Tiny Devices
The ability to incorporate low-power, wireless communication into embedded devices gives rise to a new genre of embedded software that is distributed, dynamic, and adaptive. This p...
David E. Culler, Jason L. Hill, Philip Buonadonna,...
ECIS
2000
15 years 8 months ago
Software Process Management: An Organizational Learning Perspective
We draw from the quality management and organizational learning literatures to develop a descriptive model of software process management. These literature streams suggest that the...
Thiagarajan Ravichandran, Arun Rai
IEE
2010
136views more  IEE 2010»
15 years 6 months ago
Assume-guarantee verification of software components in SOFA 2 framework
A key problem in compositional model checking of software systems is that typical model checkers accept only closed systems (runnable programs) and therefore a component cannot be ...
Pavel Parizek, Frantisek Plasil