Sciweavers

349 search results - page 32 / 70
» The Art and Science of Software Architecture
Sort
View
ICFEM
2003
Springer
14 years 2 months ago
Formal Proof of a Polychronous Protocol for Loosely Time-Triggered Architectures
The verification of safety critical systems has become an area of increasing importance in computer science. The notion of reactive system has emerged to concentrate on problems r...
Mickaël Kerboeuf, David Nowak, Jean-Pierre Ta...
HICSS
2008
IEEE
167views Biometrics» more  HICSS 2008»
14 years 3 months ago
An Operational Framework for Service Oriented Architecture Network Security
: This study proposes a new operational framework for Service Oriented Architecture (SOA) network security. It seeks to characterize the current state of practices in SOA network s...
Robert Bunge, Sam Chung, Barbara Endicott-Popovsky...
FGCS
2008
148views more  FGCS 2008»
13 years 9 months ago
Grid-enabling data mining applications with DataMiningGrid: An architectural perspective
The DataMiningGrid system has been designed to meet the requirements of modern and distributed data mining scenarios. Based on the Globus Toolkit and other open technology and sta...
Vlado Stankovski, Martin T. Swain, Valentin Kravts...
SCCC
2007
IEEE
14 years 3 months ago
Managing the QoS of E-Government: Metrics for Large Scale SOA
This paper present a set metrics for evaluating the operative aspects of the E-Government SOA systems, based on technical and economical criteria as they are intended to improve ma...
Mauricio Monsalve
GI
2004
Springer
14 years 2 months ago
Modellierung von deterministischer Software in Simulink
: Dieser Beitrag stellt die Integration der Timing Description Language (TDL) in das Modellierungswerkzeug Simulink vor. Das Ziel ist die Etablierung eines Entwicklungsprozesses, d...
Gerald Stieglbauer, Andreas Werner