7202 search results - page 955 / 1441 » Software System Engineering: A Tutorial |
177
click to vote
EUROSYS
2009
ACM
16 years 4 months ago
2009
ACM
Managing the power consumption of computing platforms is a complicated problem thanks to a multitude of hardware configuration options and characteristics. Much of the academic r...
181
click to vote
HICSS
2010
IEEE
16 years 2 months ago
2010
IEEE
Different classes of information system stakeholders depend on different values to be successful. Understanding stakeholders’ value dependencies is critical for developing softw...
208
click to vote
GPCE
2007
Springer
16 years 1 months ago
2007
Springer
Embedded systems can be viewed as scaled-down versions of their one counterparts. In many cases, the software abstractions and libraries for embedded systems can be derived from l...
215
click to vote
ATAL
2008
Springer
15 years 9 months ago
2008
Springer
There is an increasing number of agent-oriented programming languages that have working interpreters and platforms, with significant progress in the quality of such platforms over...
241
click to vote
SIGSOFT
2007
ACM
16 years 8 months ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...