1153 search results - page 77 / 231 » Compositional Specification Calculus for Information Systems... |
127
click to vote
GCC
2004
Springer
15 years 9 months ago
2004
Springer
Services are usually developed and deployed independently; and systems can be formed by composing relevant services to achieve set goals. In such an open and dynamic environment, s...
133
click to vote
RE
2004
Springer
15 years 9 months ago
2004
Springer
Aspect-oriented software development (AOSD) techniques support systematic modularization and composition of crosscutting concerns. Though AOSD techniques have been proposed to han...
109
click to vote
WWW
2004
ACM
16 years 4 months ago
2004
ACM
The importance of service composition has been widely recognized in the Internet research community due to its high flexibility in allowing development of customized applications....
228
click to vote
GIS
2007
ACM
16 years 5 months ago
2007
ACM
This paper presents an approach to visualize and analyze 3D building information models within virtual 3D city models. Building information models (BIMs) formalize and represent d...
140
click to vote
ISW
2004
Springer
15 years 9 months ago
2004
Springer
Misuse Detection systems identify evidence of attacks by searching for patterns of known attacks (signatures). A main problem in this context is the modeling and specification of a...