Sciweavers

9227 search results - page 184 / 1846
» Developing Use Cases from Organizational Modeling
Sort
View
ELPUB
2006
ACM
15 years 11 months ago
Electronic Publications and Library Cooperation. Bulgarian Experience
The article considers the library cooperation problem and some aspects of the relationships ‘library coalition – library – end users’. The authors describe the successful ...
Nadya Terzieva, Radostina Todorova
IEEESCC
2010
IEEE
15 years 9 months ago
Towards a Unified Service Description Language for the Internet of Services: Requirements and First Developments
Service-oriented Architectures (SOA) and Web services leverage the technical value of solutions in the areas of distributed systems and cross-enterprise integration. The emergence...
Jorge Cardoso, Alistair Barros, Norman May, Uwe Ky...
DAGM
2006
Springer
15 years 8 months ago
Diffusion-Like Reconstruction Schemes from Linear Data Models
In this paper we extend anisotropic diffusion with a diffusion tensor to be applicable to data that is well modeled by linear models. We focus on its variational theory, and invest...
Hanno Scharr
ICST
2008
IEEE
15 years 11 months ago
Model-Based Testing of Automotive Systems
In recent years the development of automotive embedded devices has changed from an electrical and mechanical engineering discipline to a combination of software and electrical/mec...
Eckard Bringmann, Andreas Krämer
CAISE
2006
Springer
15 years 8 months ago
From Requirements Models to Formal Specifications in B
Abstract. The development of critical systems requires a high assurance process from requirements to the running code. Formal methods, such as B, now provide industry-strength tool...
Christophe Ponsard, Emmanuel Dieul