Sciweavers

2562 search results - page 2 / 513
» Components of the Fundamental Category
Sort
View
ACS
2008
13 years 5 months ago
Fundamental Constructions for Coalgebras, Corings, and Comodules
We study the various categories of corings, coalgebras, and comodules from a categorical perspective. Emphesis is given to the question which properties of these categories can be...
Hans-E. Porst
ATAL
2008
Springer
13 years 7 months ago
Reusing models in multi-agent simulation with software components
on models are abstract representations of systems one wants to study through computer simulation. In multiagent based simulation, such models usually represent agents and their re...
Paulo Salem da Silva, Ana Cristina Vieira de Melo
SIGSOFT
2005
ACM
14 years 6 months ago
Towards a unified formal model for supporting mechanisms of dynamic component update
The continuous requirements of evolving a delivered software system and the rising cost of shutting down a running software system are forcing researchers and practitioners to fin...
Junrong Shen, Xi Sun, Gang Huang, Wenpin Jiao, Yan...
GG
2004
Springer
13 years 10 months ago
Fundamental Theory for Typed Attributed Graph Transformation
The concept of typed attributed graph transformation is most significant for modeling and meta modeling in software engineering and visual languages, but up to now there is no ade...
Hartmut Ehrig, Ulrike Prange, Gabriele Taentzer
INFOCOM
2007
IEEE
13 years 11 months ago
Fundamental Complexity of Optical Systems
Abstract—It is often claimed that future systems will necessarily be all-optical, because electronic devices are not fast enough to keep up with the increase in fiber capacity. ...
Hadas Kogan, Isaac Keslassy