2763 search results - page 277 / 553 » The Dangerous 'All' in Specifications |
175
click to vote
ISCAS
2005
IEEE
16 years 6 days ago
2005
IEEE
A high-to-low switching DC-DC converter that operates at input supply voltages up to two times as high as the maximum voltage permitted in a nanometer CMOS technology is proposed ...
175
click to vote
ISESE
2005
IEEE
16 years 6 days ago
2005
IEEE
During software evolution, programmers spend a lot of time and effort in the comprehension of the internal code structure. Such an activity is often required because the available...
173
click to vote
KBSE
2005
IEEE
16 years 6 days ago
2005
IEEE
We consider a formal framework for property verification of web applications using Spin model checker. Some of the web related properties concern all states of the model, while ot...
161
click to vote
LCN
2005
IEEE
16 years 6 days ago
2005
IEEE
Generally, current network management technologies follow two approaches: ITU-T’s recommendations for Telecommunication Management Network (TMN) and IETF’s Simple Network Mana...
159
click to vote
WECWIS
2005
IEEE
16 years 6 days ago
2005
IEEE
In this paper, we address the importance of efficient execution in electronic markets. Due to intense competition for profit opportunities, trading costs can represent a significa...