5550 search results - page 68 / 1110 » Different Approaches to Proof Systems |
144
Voted
AISC
2006
Springer
15 years 10 months ago
2006
Springer
Solving analytic systems using inversion can be implemented in a variety of ways. One method is to use Lagrange inversion and variations. Here we present a different approach, base...
188
click to vote
ENTCS
2006
15 years 6 months ago
2006
Runtime verification involves monitoring the system at runtime to check for conformance of the execution trace to user defined safety properties. Typically, run-time verifiers do ...
135
click to vote
ASWEC
2008
IEEE
16 years 19 days ago
2008
IEEE
Policy based management in Service Oriented Architecture (SOA) allows organizations to apply rules and regulations on their business processes. Policy has long been employed in th...
157
Voted
EUROMICRO
2000
IEEE
15 years 10 months ago
2000
IEEE
We propose a design flow for low-power and low-cost, data-dominated, embedded systems which tightly integrate different technologies and architectures. We use Mathworks’ Simuli...
134
Voted
ICC
2000
IEEE
15 years 10 months ago
2000
IEEE
—This paper proposes an analytical study which aims at evaluating the received power statistics in DS-CDMA cellular systems which use a closed-loop power control scheme to compen...