Sciweavers

1329 search results - page 55 / 266
» Analysis of Dynamic Communicating Systems by Hierarchical Ab...
Sort
View
ISNN
2007
Springer
14 years 1 months ago
Online Dynamic Value System for Machine Learning
A novel online dynamic value system for machine learning is proposed in this paper. The proposed system has a dual network structure: data processing network (DPN) and information ...
Haibo He, Janusz A. Starzyk
DATE
1999
IEEE
100views Hardware» more  DATE 1999»
13 years 12 months ago
The Rugby Model: A Conceptual Frame for the Study of Modelling, Analysis and Synthesis Concepts of Electronic Systems
We propose a conceptual framework, called the Rugby Model, in which designs, design processes and design tools can be studied. It is an extension of the Y chart and adds two dimen...
Axel Jantsch, Shashi Kumar, Ahmed Hemani
ENTCS
2007
101views more  ENTCS 2007»
13 years 7 months ago
Model-checking Distributed Components: The Vercors Platform
This article presents a component verification platform called Vercors providing means to analyse the behaviour properties of applications built from distributed components. From...
Tomás Barros, Antonio Cansado, Eric Madelai...
OTM
2005
Springer
14 years 1 months ago
JXTA Messaging: Analysis of Feature-Performance Tradeoffs and Implications for System Design
Abstract. With the rise of Peer-to-Peer and Grid infrastructures, there is a renewed interest in messaging systems. Among the numerous messaging solutions for large loosely coupled...
Emir Halepovic, Ralph Deters, Bernard Traversat
POPL
2000
ACM
13 years 12 months ago
A Type System for Dynamic Web Documents
Many interactive Web services use the CGI interface for communication with clients. They will dynamically create HTML documents that are presented to the client who then resumes t...
Anders Sandholm, Michael I. Schwartzbach