5630 search results - page 758 / 1126 » Computability in Specification |
219
click to vote
NAR
2011
14 years 9 months ago
2011
The Laminin(LM)-database, hosted at http://www .lm.lncc.br, is the first database focusing a noncollagenous extracellular matrix protein family, the LMs. Part of the knowledge ava...
192
click to vote
SPAA
2009
ACM
16 years 7 months ago
2009
ACM
We consider buffer management of unit packets with deadlines for a multi-port device with reconfiguration overhead. The goal is to maximize the throughput of the device, i.e., the...
231
click to vote
MOBISYS
2008
ACM
16 years 6 months ago
2008
ACM
Recent years have witnessed the impacts of distributed content sharing (Wikipedia, Blogger), social networks (Facebook, MySpace), sensor networks, and pervasive computing. We beli...
214
click to vote
MICAI
2005
Springer
16 years 9 days ago
2005
Springer
In Multi-agent based simulation (MABS) systems, computational models are built as multi-agent systems (MAS). Replication of these models can contribute to improve the reliability o...
195
click to vote
SMA
2003
ACM
16 years 1 days ago
2003
ACM
Dimensional reduction is a simplification technique that eliminates one or more dimensions from a boundary value problem. It results in significant computational savings with mini...