373 search results - page 36 / 75 » Empowering Software Development Environments by Automatic So... |
142
Voted
ICSE
1998
IEEE-ACM
15 years 7 months ago
1998
IEEE-ACM
The design, implementation, and testing of virtual environments is complicated by the concurrency and realtime features of these systems. Therefore, the development of formal meth...
140
click to vote
ICSM
2006
IEEE
15 years 9 months ago
2006
IEEE
Programming languages provide various mechanisms to support information hiding. One problem with information hiding, however, is that providing a stable interface behind which to ...
154
Voted
SAC
2008
ACM
15 years 2 months ago
2008
ACM
Detecting errors in an early phase of software development can help to reduce the cost of software systems. Many research attempts presented a fixed set of rules to help finding e...
140
Voted
TRUST
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Virtual Private Networks are a popular mechanism for building complex network infrastructures. Such infrastructures are usually accompanied by strict administrative restr...
116
Voted
ECEASST
2010
15 years 1 months ago
2010
: For years, one of the main reasons to buy commercial software instead of adopting open-source applications was the, supposed, guarantee of quality. Unfortunately that was rarely ...