Sciweavers

4897 search results - page 198 / 980
» Trust Modeling for Peer-to-Peer Based Computing Systems
Sort
View
APSEC
2003
IEEE
15 years 10 months ago
Developing Secure Networked Web-Based Systems Using Model-based Risk Assessment and UMLsec
Despite a growing awareness of security issues in networked computing systems, most development processes used today still do not take security aspects into account. To address th...
Siv Hilde Houmb, Jan Jürjens
ICCS
2007
Springer
15 years 10 months ago
Dynamic Data-Driven Systems Approach for Simulation Based Optimizations
Abstract. This paper reviews recent developments in our project that are focused on dynamic data-driven methods for efficient and reliable simulation based optimization, which may...
Tahsin M. Kurç, Xi Zhang, Manish Parashar, ...
SOFSEM
2007
Springer
15 years 10 months ago
Explicit Connectors in Component Based Software Engineering for Distributed Embedded Systems
Abstract. The increasing complexity of today’s embedded systems applications imposes the requirements and constraints of distributed, heterogeneous subsystem interaction to softw...
Dietmar Schreiner, Karl M. Göschka
CIE
2010
Springer
15 years 6 months ago
The Limits of Tractability in Resolution-Based Propositional Proof Systems
We study classes of propositional contradictions based on the Least Number Principle (LNP) in the refutation system of Resolution and its generalisations with bounded conjunction, ...
Stefan S. Dantchev, Barnaby Martin
ACSW
2007
15 years 6 months ago
A Grid Based e-Research Platform for Clinical Management in the Human Respiratory and Vascular System
A Grid based e-Research platform is being developed for providing a simulation-based virtual reality environment for clinical management and therapy treatment. The development of ...
Sherman Cheung, Xingchen Chu, Shengjin Xu, Rajkuma...