7961 search results - page 500 / 1593 » Input-Output Model Programs |
204
click to vote
SEW
2006
IEEE
16 years 21 days ago
2006
IEEE
Complex software systems typically involve features like time, concurrency and probability, where probabilistic computations play an increasing role. It is challenging to formaliz...
186
Voted
CSFW
2005
IEEE
16 years 10 days ago
2005
IEEE
To reason about information flow based on beliefs, a new model is developed that describes how attacker beliefs change due to the attacker’s observation of the execution of a p...
175
Voted
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
A major difficulty of heterogeneous process migration is how to collect advanced dynamic data-structures, transform them into machine independent form, and restor them appropriate...
161
click to vote
ISPD
1998
ACM
15 years 11 months ago
1998
ACM
In this paper, we formulate a new class of optimization problem, named the general CH-posynomial program, and reveal the general dominance property. We propose an efcient algorith...
171
Voted
IWPC
1997
IEEE
15 years 11 months ago
1997
IEEE
System migration presents a myriad of challenges in software maintenance. The user interfaces of interactive systems can undergo significant change during migration. Program unde...