1508 search results - page 133 / 302 » Toward Software Plug-and-Play |
120
Voted
ICSE
2009
IEEE-ACM
15 years 10 months ago
2009
IEEE-ACM
The wide diffusion of reliable Internet is pushing two key novelties in the conception of modern software applications: the Software as a Service paradigm and the idea of the Inte...
119
Voted
BTW
2009
Springer
15 years 10 months ago
2009
Springer
Abstract: In the last decade, automotive systems changed from traditional mechanical or mechatronical systems towards software intensive systems, because more and more functionalit...
113
Voted
COMPSAC
2006
IEEE
15 years 9 months ago
2006
IEEE
Model-checking techniques are successfully used in the verification of both hardware and software systems of industrial relevance. Unfortunately, the capability of current techni...
120
Voted
KBSE
2006
IEEE
15 years 9 months ago
2006
IEEE
Software model checkers can be applied directly to single-process programs, which typically are multithreaded. Multi-process applications cannot be model checked directly. While m...
132
Voted
OOPSLA
2005
Springer
15 years 9 months ago
2005
Springer
Design patterns are applied in software development to decouple individual concerns, so that a change in a design decision is isolated to one location of the code base. However, m...