10707 search results - page 1874 / 2142 » Designing executable abstractions |
210
click to vote
ECOOP
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. Component software means reuse and separate marketing of pre-manufactured binary components. This requires components from different vendors to be composed very late, pos...
187
click to vote
ISPW
2010
IEEE
15 years 11 months ago
2010
IEEE
Abstract. Explicitly defining a software process model is widely recognized as a good software engineering practice. However, having a defined process does not necessarily mean tha...
151
click to vote
ACSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
Secure enterprise programming is a difficult and tedious task. Programmers need tools that support t levels of abstraction and that track all the components that participate in di...
184
click to vote
DATE
1999
IEEE
15 years 11 months ago
1999
IEEE
If real number calculations are implemented as circuits, only a limited preciseness can be obtained. Hence, formal verification can not be used to prove the equivalence between th...
179
click to vote
MOBIDE
1999
ACM
15 years 11 months ago
1999
ACM
Mobile applications increasingly require transaction-like properties, particularly those of recovery. Because there is a lack of abstractions to decompose the machinery of recover...