1988 search results - page 287 / 398 » Engineering formal metatheory |
182
click to vote
FASE
2005
Springer
16 years 12 days ago
2005
Springer
This paper is concerned with the application of Web services to distributed, cross-organizational business processes. In this scenario, it is crucial to answer the following questi...
179
click to vote
ICCBSS
2005
Springer
16 years 12 days ago
2005
Springer
A vital issue in the correct use of commercial-off-the-shelf (COTS) components is the proper understanding of their functionality, quality attributes and ways of operation. Traditi...
187
click to vote
AOSD
2004
ACM
16 years 9 days ago
2004
ACM
Aspect-Oriented Programming promises separation of concerns at the implementation level. However, aspects are not always orthogonal and aspect interaction is a fundamental problem...
165
click to vote
ISSTA
2004
ACM
16 years 9 days ago
2004
ACM
Two operations commute if executing them serially in either order results in the same change of state. In a system in which commands may be issued simultaneously by different use...
221
click to vote
FASE
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...