Sciweavers

626 search results - page 55 / 126
» Abstract Modularity
Sort
View
ASE
2002
137views more  ASE 2002»
13 years 8 months ago
The DSD Schema Language
XML (Extensible Markup Language), a linear syntax for trees, has gathered a remarkable amount of interest in industry. The acceptance of XML opens new venues for the application o...
Nils Klarlund, Anders Møller, Michael I. Sc...
GPCE
2005
Springer
14 years 2 months ago
A Versatile Kernel for Multi-language AOP
Abstract. Being able to define and use different aspect languages, including domain-specific aspect languages, to cleanly modularize concerns of a software system represents a v...
Éric Tanter, Jacques Noyé
FMCAD
2007
Springer
14 years 21 days ago
Transaction Based Modeling and Verification of Hardware Protocols
Modeling hardware through atomic guard/action transitions with interleaving semantics is popular, owing to the conceptual clarity of modeling and verifying the high level behavior ...
Xiaofang Chen, Steven M. German, Ganesh Gopalakris...
VLDB
2001
ACM
104views Database» more  VLDB 2001»
14 years 9 months ago
Global transaction support for workflow management systems: from formal specification to practical implementation
In this paper, we present an approach to global transactionmanagementinworkflowenvironments.Thetransaction mechanism is based on the well-known notion of compensation, but extended...
Paul W. P. J. Grefen, Jochem Vonk, Peter M. G. Ape...
BC
2008
69views more  BC 2008»
13 years 7 months ago
The scalable mammalian brain: emergent distributions of glia and neurons
Abstract In this paper, we demonstrate that two characteristic properties of mammalian brains emerge when scaling-up modular, cortical structures. Firstly, the glia-toneuron ratio ...
Janneke F. M. Jehee, Jaap M. J. Murre