10263 search results - page 1972 / 2053 » From Use Cases to System Operation Specifications |
137
Voted
IPCCC
2006
IEEE
15 years 10 months ago
2006
IEEE
In recent years, malicious software (malware) has become one of the most insidious threats in computer security. However, this is arguably not the result of increased sophisticati...
147
Voted
CCS
2009
ACM
15 years 8 months ago
2009
ACM
Users have begun downloading an increasingly large number of mobile phone applications in response to advancements in handsets and wireless networks. The increased number of appli...
132
Voted
STOC
2002
ACM
16 years 4 months ago
2002
ACM
We investigate the price of selfish routing in non-cooperative networks in terms of the coordination and bicriteria ratios in the recently introduced game theoretic network model ...
171
click to vote
VLSID
2008
IEEE
15 years 11 months ago
2008
IEEE
The last decade has seen a phenomenal increase in the use of electronic components in automotive systems, resulting in the replacement of purely mechanical or hydraulic-implementa...
123
click to vote
VMCAI
2007
Springer
15 years 10 months ago
2007
Springer
Abstraction frameworks use under-approximating transitions in order to prove existential properties of concrete systems. Under-approximating transifer to the concrete states that c...