3024 search results - page 152 / 605 » Requirement Engineering in Service-Oriented System Engineeri... |
170
click to vote
AOSD
2007
ACM
15 years 10 months ago
2007
ACM
In order to accommodate the spectrum of configuration options currently required for competitive system infrastructures, many systems leverage heavy usage of C preprocessor contro...
155
click to vote
HOTSWUP
2009
ACM
15 years 11 months ago
2009
ACM
Year after year, the frequency of updated releases of software continues to increase. Without an automated install process, the result is either that a system installs software wi...
172
click to vote
ISARCS
2010
15 years 10 months ago
2010
Abstract. Software designs equipped with specification of dependability techniques can help engineers to develop critical systems. In this work, we start to envision how a softwar...
190
click to vote
APSEC
2009
IEEE
15 years 4 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
148
click to vote
EWSPT
2001
Springer
15 years 11 months ago
2001
Springer
The emerging field of mobile computing (MC) studies systems in which computational components may change locations. In terms of hardware, mobile work is usually across heterogene...