1167 search results - page 142 / 234 » Networking Aspects for Gaming Systems |
111
click to vote
DAC
1998
ACM
16 years 5 months ago
1998
ACM
Increasing size and geographical separation of design data and teams has created a need for a network-based electronic design environment that is scaleable, adaptable, secure, hig...
158
click to vote
CMSB
2007
Springer
15 years 10 months ago
2007
Springer
For modeling and analyzing regulatory networks based on qualitative information and possibly additional temporal constraints, approaches using hybrid automata can be very helpful. ...
106
Voted
ICANN
2001
Springer
15 years 9 months ago
2001
Springer
We distinguish between two main types of model: predictive and explanatory. It is argued (in the absence of models that predict on unseen data) that in order for a model to increas...
153
click to vote
COOP
2004
15 years 5 months ago
2004
Abstract. The enormous improvements in the efficiency of model-checking techniques in recent years facilitates their application to ever more complex systems of concurrent and dist...
141
click to vote
ACSAC
2002
IEEE
15 years 9 months ago
2002
IEEE
Security analysis should take advantage of a reliable knowledge base that contains semantically-rich information about a protected network. This knowledge is provided by network m...