22864 search results - page 352 / 4573 » An Integrated and |
176
click to vote
JIT
2005
Springer
16 years 9 days ago
2005
Springer
In times of increasing grid oriented computing environments, the integration and orchestration of business services become more and more emergent. This challenge is taken in the co...
160
click to vote
LPAR
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. The paper presents a combination of interactive and automatic tools in the area of software verification. We have integrated a newly developed software model checker int...
154
click to vote
WEBDB
2005
Springer
16 years 8 days ago
2005
Springer
The World Wide Web is a medium for publishing data used by collaborating groups and communities of shared interest. This paper proposes mechanisms to support the accuracy and auth...
138
Voted
GI
2005
Springer
16 years 8 days ago
2005
Springer
: Dieser Beitrag stellt die Integration von OpenOffice.org in eine Lösung für Haushalt und Controlling der Gruppe IT der Bundesanstalt für Finanzdienstleistungsaufsicht BaFin vo...
138
click to vote
BPM
2004
Springer
16 years 6 days ago
2004
Springer
State-of-the-art systems engineering uses many models reflecting various aspects of the modeled system. A major task of system engineers is to ensure consistency between the many...