2255 search results - page 23 / 451 » High Assurance Software Systems |
JSW
2007
13 years 8 months ago
2007
— The share of software in embedded systems has been growing permanently in the recent years. Thus, software architecture as well as its evaluation have become important parts of...
PERCOM
2008
ACM
14 years 8 months ago
2008
ACM
Pervasive computing systems provide personalized and intimate services to improve users' quality of life by integrating computation and communication into the environments. Wi...
WIMAW
2008
13 years 10 months ago
2008
: The industrialization of software development induces several changes to the development process as software development becomes distributed over company borders. They cooperativ...
ICSE
2000
IEEE-ACM
14 years 6 days ago
2000
IEEE-ACM
We present Galileo, an innovative engineering modeling and analysis tool built using an approach we call packageoriented programming (POP). Galileo represents an ongoing evaluatio...
HICSS
1999
IEEE
14 years 28 days ago
1999
IEEE
Distributed Shared Memory (DSM) combines the scalability of loosely coupled multicomputer systems with the ease of usability of tightly coupled multiprocessors, and allows transpa...