2086 search results - page 194 / 418 » Mathematical Theory Exploration |
143
click to vote
CMSB
2006
Springer
15 years 7 months ago
2006
Springer
Genetic regulatory networks have been modeled as discrete transition systems by many approaches, benefiting from a large number of formal verification algorithms available for the ...
160
click to vote
ISN
2000
Springer
15 years 7 months ago
2000
Springer
This paper examines load balancing issues relating to a distributed CORBA-based Service Control Point. Two types of load balancing strategies are explored through simulation studie...
157
click to vote
ISSS
1995
IEEE
15 years 7 months ago
1995
IEEE
This paper presents a system level design methodology and its implementation as CAD tool for the optimization of heterogeneous multiprocessor systems. These heterogeneous systems,...
257
click to vote
WSC
2007
15 years 6 months ago
2007
Planning, scheduling and effective management of contingencies are crucial for the successful management of construction projects. In this paper we explore a mathematical represen...
117
click to vote
CCS
2008
ACM
15 years 6 months ago
2008
ACM
To protect against replay attacks, many Internet protocols rely on nonces to guarantee freshness. In practice, the server generates these nonces during the initial handshake, but ...