13137 search results - page 250 / 2628 » A Science of Software Design |
158
Voted
DAGSTUHL
2006
15 years 6 months ago
2006
Three distinct and interacting types of entities: people, software agents and e-markets are considered in this paper. These entities operate within Shaman, a proposed framework fo...
104
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
The design productivity gap requires more efficient design methods. Software systems have faced the same challenge and seem to have mastered it with the
136
click to vote
SOFSEM
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. The increasing complexity of today’s embedded systems applications imposes the requirements and constraints of distributed, heterogeneous subsystem interaction to softw...
167
Voted
SPIN
2007
Springer
15 years 11 months ago
2007
Springer
One of the most exciting and promising approaches to ensure the correctness of critical systems is software model checking, which considers real code, written with standard program...
156
click to vote
EUROSYS
2007
ACM
16 years 2 months ago
2007
ACM
As mobile and embedded devices become widespread, the management and configuration of the software in the devices is increasingly turning into a critical issue. OSGi is a busines...