262 search results - page 44 / 53 » Making Specifications Complete Through Models |
101
click to vote
DIALM
2010
ACM
14 years 9 months ago
2010
ACM
We present a method for using real world mobility traces to identify tractable theoretical models for the study of distributed algorithms in mobile networks. We validate the metho...
BMCBI
2006
14 years 11 months ago
2006
Background: In order to maintain the most comprehensive structural annotation databases we must carry out regular updates for each proteome using the latest profile-profile fold r...
CASES
2001
ACM
15 years 3 months ago
2001
ACM
Today's digital signal processors (DSPs), unlike general-purpose processors, use a non-uniform addressing model in which the primary components of the memory system--the DRAM...
112
click to vote
CONEXT
2009
ACM
15 years 23 days ago
2009
ACM
We consider the problem of traffic management in small networks with both wireless and wired devices, connected to the Internet through a single gateway. Examples of such networks...
WSC
1998
15 years 1 months ago
1998
Customer interfacing is the process through which one works with and relates to their customer. Often in the technical world, modelers find it easier to interface with computers r...