Sciweavers

1329 search results - page 84 / 266
» Semantics of Architectural Connectors
Sort
View
MPC
1995
Springer
150views Mathematics» more  MPC 1995»
14 years 1 months ago
Architecture Independent Massive Parallelization of Divide-and-Conquer Algorithms
Abstract. We present a strategy to develop, in a functional setting, correct, e cient and portable Divide-and-Conquer (DC) programs for massively parallel architectures. Starting f...
Klaus Achatz, Wolfram Schulte
ESWA
2007
208views more  ESWA 2007»
13 years 9 months ago
Adaptive and intelligent web based education system: Towards an integral architecture and framework
In this paper it is presented our contribution for carrying out adaptive and intelligent Web-based Education Systems (WBES) that take into account the individual student learning ...
Alejandro Canales Cruz, Alejandro Peña Ayal...
ICECCS
2008
IEEE
203views Hardware» more  ICECCS 2008»
14 years 4 months ago
Using AADL to Model a Protocol Stack
In recent trends, the Architecture Analysis and Design Language (AADL) has received increasing attention from safety-critical software development industries. Specific about the A...
Didier Delanote, Stefan Van Baelen, Wouter Joosen,...
SOSE
2008
IEEE
14 years 4 months ago
Ontology for Service Oriented Testing of Web Services
This paper presents a service oriented architecture for testing Web Services. In this architecture, various parties interoperate with each other to complete testing tasks through ...
Yufeng Zhang, Hong Zhu
ADAEUROPE
2005
Springer
14 years 3 months ago
Using the AADL to Describe Distributed Applications from Middleware to Software Components
Distributed Real-Time (DRE) systems require the verification of their properties to ensure both reliability and conformance to initial requirements. Architecture description langu...
Thomas Vergnaud, Laurent Pautet, Fabrice Kordon