15155 search results - page 307 / 3031 » System Software |
199
click to vote
ISOLA
2010
Springer
15 years 4 months ago
2010
Springer
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
179
click to vote
SIGSOFT
2010
ACM
15 years 4 months ago
2010
ACM
Software construction has typically drawn on engineering metaphors like building bridges or cathedrals, which emphasize architecture, specification, central planning, and determin...
176
click to vote
SP
2003
IEEE
15 years 12 months ago
2003
IEEE
We specify a hardware architecture that supports tamper-resistant software by identifying an “idealized” hich gives the abstracted actions available to a single user program. ...
153
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Commercial-off-the-shelf components (COTS) are widely reused at present and black-box composition is the unique way to integrate them into the target system. However, various mism...
167
click to vote
UIST
2009
ACM
16 years 1 months ago
2009
ACM
We explore the use of modern recommender system technology to address the problem of learning software applications. Before describing our new command recommender system, we first...