9071 search results - page 191 / 1815 » A co-design modeling approach for computer network systems |
297
click to vote
CAV
2012
Springer
13 years 9 months ago
2012
Springer
Abstract. BioModel Analyzer (bma) is a tool for modeling and analyzing biological networks. Designed with a lightweight graphical user interface, the tool facilitates usage for bio...
218
click to vote
ECBS
2007
IEEE
16 years 1 months ago
2007
IEEE
There is an ever increasing concern about security threats as embedded systems are moving towards networked applications. Model based approaches have proven to be effective techni...
201
click to vote
PERCOM
2008
ACM
15 years 7 months ago
2008
ACM
RFID technology shall increase security, e.g. by helping to prevent counterfeiting. But the technology also causes privacy issues. In this paper, after highlighting goals and prob...
184
click to vote
GG
2004
Springer
16 years 18 days ago
2004
Springer
Model checking is increasingly popular for hardware and, more recently, software verification. In this paper we describe two different approaches to extend the benefits of model ...
203
click to vote
WIOPT
2005
IEEE
16 years 24 days ago
2005
IEEE
In this paper we develop distributed approaches for power allocation and scheduling in wireless access networks. We consider a model where users communicate over a set of parallel...