Sciweavers

4052 search results - page 129 / 811
» integration 2007
Sort
View
ADAEUROPE
2007
Springer
14 years 3 months ago
Correctness by Construction for High-Integrity Real-Time Systems: A Metamodel-Driven Approach
Current trends in software engineering promote the contention that the use of model-driven approaches should prove as beneficial to high-integrity systems as they have to business ...
Matteo Bordin, Tullio Vardanega
EDUTAINMENT
2007
Springer
14 years 3 months ago
UML in Action: Integrating Formal Methods in Industrial Design Education
When designing product behavior, the designer often needs to communicate to experts in computer software and protocols. In present-day software engineering, formal specification m...
Jun Hu, Philip Ross, Loe M. G. Feijs, Yuechen Qian
EGOV
2007
Springer
14 years 3 months ago
Reference Models for E-Services Integration Based on Life-Events
Modelling life events is a task of a crucial importance and a first necessary step towards supporting resolution of a particular life event on the active e-government portal. The u...
Ljupco Todorovski, Mateja Kunstelj, Mirko Vintar
ESWS
2007
Springer
14 years 3 months ago
Integrating Folksonomies with the Semantic Web
While tags in collaborative tagging systems serve primarily an indexing purpose, facilitating search and navigation of resources, the use of the same tags by more than one individu...
Lucia Specia, Enrico Motta
GSEM
2007
Springer
14 years 3 months ago
A Policy Language for Integrating Heterogeneous Authorization Policies
In order to manage and enforce multiple heterogeneous authorization policies in distributed authorization environment, we defined the root policy specification language and its cor...
Wei Zhou, Christoph Meinel