Sciweavers

2145 search results - page 199 / 429
» Architectural Specifications in CASL
Sort
View
DSD
2006
IEEE
159views Hardware» more  DSD 2006»
16 years 17 days ago
Deadlock Free Routing Algorithms for Mesh Topology NoC Systems with Regions
Region concept helps to accommodate cores larger than the tile size in mesh topology NoC architectures. In addition, it offers many new opportunities for NoC design, as well as pr...
Rickard Holsmark, Maurizio Palesi, Shashi Kumar
SIGECOM
2005
ACM
113views ECommerce» more  SIGECOM 2005»
16 years 2 days ago
Dynamic and secure B2B e-contract update management
Business-to-business electronic contracts provide a specification of the agreed value exchange and guarantee legal protection to companies during electronic trading relations. Imp...
Samuil Angelov, Sven Till, Paul W. P. J. Grefen
GCC
2005
Springer
16 years 1 days ago
Experiences in Running Workloads over Grid3
Running workloads in a grid environment is often a challenging problem due the scale of the environment, and to the resource partitioning based on various sharing strategies. A res...
Catalin Dumitrescu, Ioan Raicu, Ian T. Foster
FTRTFT
1998
Springer
15 years 10 months ago
A Modular Visual Model for Hybrid Systems
Visual description techniques are particularly important for the design of hybrid systems because specifications of such systems must usually be discussed between engineers from a ...
Radu Grosu, Thomas Stauner, Manfred Broy
WER
1998
Springer
15 years 10 months ago
Towards Requirements Engineering of Active Database Systems
Active systems are emerging in many fields, being particularly interesting those like Active Database Management Systems which always provide some kind of reactive capabilities. I...
José Hilario Canós Cerdá, Jav...