3038 search results - page 229 / 608 » Controlling Engineering Problem Solving |
125
Voted
FSTTCS
2007
Springer
15 years 8 months ago
2007
Springer
We examine a bidirectional Propositional Dynamic Logic (PDL) for message sequence charts (MSCs) extending LTL and TLC− . Every formula is translated into an equivalent communicat...
108
click to vote
POPL
1997
ACM
15 years 6 months ago
1997
ACM
Proof-carrying code is a framework for the mechanical verification of safety properties of machine language programs, but the problem arises of quis custodiat ipsos custodes—wh...
125
click to vote
ICC
2007
IEEE
15 years 8 months ago
2007
IEEE
— In this paper, we discuss the information–theoretic approach to finding the pattern of transmission powers of the stations in a CDMA system which maximizes the aggregate cap...
135
Voted
GECCO
2008
Springer
15 years 3 months ago
2008
Springer
Evolutionary multi-objective optimization (EMO) methodologies, suggested in the beginning of Nineties, focussed on the task of finding a set of well-converged and well-distribute...
154
click to vote
DAC
2000
ACM
16 years 3 months ago
2000
ACM
In this paper, we introduce a new technique for modeling and solving the dynamic power management (DPM) problem for systems with complex behavioral characteristics such as concurr...