3931 search results - page 445 / 787 » Separation logic and abstraction |
177
Voted
ACSAC
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper focuses on the provision of a nonrepudiation service for CORBA. The current OMG specification of a CORBA non-repudiation service forces the programmer to augment the ap...
184
click to vote
SIGMOD
1997
ACM
15 years 11 months ago
1997
ACM
Visual Language (VL) system development is getting increasingly sophisticated in part due to the arduous nature of user interface (UI) code development. This typically involves id...
176
click to vote
CONEXT
2007
ACM
15 years 11 months ago
2007
ACM
The distributed nature of the Internet makes it difficult for a single service provider to troubleshoot the disruptions experienced by its customers. We propose NetDiagnoser, a tr...
193
Voted
GI
2007
Springer
15 years 11 months ago
2007
Springer
: Test-case generation with model-checkers is a promising field of research in software testing. Model-checker based approaches offer many advantages: They are fully automated, the...
183
click to vote
EUROMICRO
2009
IEEE
15 years 11 months ago
2009
IEEE
BPEL is the de facto standard for business process modeling in today's enterprises and is a promising candidate for the integration of business and scientific applications tha...