57 search results - page 2 / 12 » Using Controller-Synthesis Techniques to Build Property-Enfo... |
CORR
2010
Springer
13 years 5 months ago
2010
Springer
We continue the line of research on graph compression started in [BV04], but we move our focus to the compression of social networks in a proper sense (e.g., LiveJournal): the app...
BMCBI
2010
13 years 5 months ago
2010
Background: Tissue MicroArray technology aims to perform immunohistochemical staining on hundreds of different tissue samples simultaneously. It allows faster analysis, considerab...
ICCCN
2007
IEEE
13 years 8 months ago
2007
IEEE
A new physical layer technique [1] for broadcasting in multi-hop wireless ad hoc networks makes broadcast a much more efficient building block than traditional flooding broadcast. ...
IEEEAMS
2003
IEEE
13 years 10 months ago
2003
IEEE
Large classes of autonomic (self-managing, selfhealing) systems can be created by logically integrating simpler autonomic systems. The configuration method is widely used for such...
DKE
1999
13 years 4 months ago
1999
In this paper, we propose a formal model for multilevel databases. This model aims at being a generic model, that is it can be interpreted for any kind of database (relational, ob...