Sciweavers

2145 search results - page 199 / 429
» Architectural Specifications in CASL
Sort
View
187
Voted
DSD
2006
IEEE
159views Hardware» more  DSD 2006»
16 years 1 months 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
181
Voted
SIGECOM
2005
ACM
113views ECommerce» more  SIGECOM 2005»
16 years 19 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 18 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 11 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 11 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...