Sciweavers

2145 search results - page 61 / 429
» Architectural Specifications in CASL
Sort
View
IM
2007
13 years 10 months ago
Design of NGOSS TSA Using Web Services Technologies
— To reduce frequent changes and upgrades of management systems, we need a guideline of OSS's architecture and development methods of the OSSs. TMF has proposed NGOSS techno...
Mi-Jung Choi, Hong-Taek Ju, James Won-Ki Hong, Don...
IWANN
2009
Springer
14 years 3 months ago
Multiagent-Based Educational Environment for Dependents
This paper presents a multiagent architecture that facilitates active learning in educational environments for dependents. The multiagent architecture incorporates agents that can ...
Antonia Macarro, Alberto Pedrero, Juan A. Fraile
DATE
2005
IEEE
115views Hardware» more  DATE 2005»
14 years 2 months ago
An Infrastructure to Functionally Test Designs Generated by Compilers Targeting FPGAs
This paper presents an infrastructure to test the functionality of the specific architectures output by a highlevel compiler targeting dynamically reconfigurable hardware. It resu...
Rui Rodrigues, João M. P. Cardoso
VLDB
1989
ACM
82views Database» more  VLDB 1989»
14 years 25 days ago
Database Support for Hypertext
with a full abstract specification of the data-types involved and a multi-level architecture similar to that of a DBMS. A related question is the kind of model that is most suitabl...
B. Nick Rossiter
WADT
1999
Springer
14 years 1 months ago
From States to Histories
Based on the FOCUS theory of distributed systems (see [Broy, Stølen 01]) that are composed of interacting components we introduce a formal model of services and layered architectu...
Manfred Broy