Sciweavers

2813 search results - page 358 / 563
» Formalizing Architectural Connection
Sort
View
IEEESCC
2007
IEEE
16 years 26 days ago
Governance of Cross-Organizational Service Agreements: A Policy-Based Approach
Many real-life organizations are hierarchies of largely autonomous, heterogeneous members (individuals or other organizations), often exhibiting rich policies. We restrict our att...
Yathiraj B. Udupi, Munindar P. Singh
ISCAS
2007
IEEE
122views Hardware» more  ISCAS 2007»
16 years 25 days ago
Neuromimetic ICs with analog cores: an alternative for simulating spiking neural networks
- This paper aims at discussing the implementation of simulation systems for SNN based on analog computation cores (neuromimetic ICs). Such systems are an alternative to completely...
Sylvie Renaud, Jean Tomas, Yannick Bornat, Adel Da...
ECMDAFA
2007
Springer
100views Hardware» more  ECMDAFA 2007»
16 years 21 days ago
Reverse Engineering Models from Traces to Validate Distributed Systems - An Industrial Case Study
The paper targets the applicability of model-driven methodologies to the validation of complex systems and presents a case study of a mobile radio network. Validation relies on the...
Andreas Ulrich, Alexandre Petrenko
ER
2007
Springer
108views Database» more  ER 2007»
16 years 21 days ago
A Framework Supporting the Utilization of Domain Knowledge Embedded in Software
Software systems embed in them knowledge about the domain in which they operate. However, this knowledge is “latent”. Making such knowledge accessible could be of great value ...
Eran Rubin, Yair Wand
ESWS
2007
Springer
16 years 21 days ago
Two-Phase Web Service Discovery Based on Rich Functional Descriptions
Discovery is a central reasoning task in service-oriented architectures, concerned with detecting Web services that are usable for solving a given request. This paper presents two ...
Michael Stollberg, Uwe Keller, Holger Lausen, Stij...