4072 search results - page 479 / 815 » Becoming Increasingly Reactive |
176
click to vote
ASPDAC
1998
ACM
15 years 10 months ago
1998
ACM
Binary decision diagrams (BDDs) have been shown to be a powerful tool in formal verification. Efficient BDD construction techniques become more important as the complexity of proto...
185
Voted
CCS
2010
ACM
15 years 10 months ago
2010
ACM
Data outsourcing is an emerging paradigm that allows users and companies to give their (potentially sensitive) data to external servers that then become responsible for their stor...
175
click to vote
ACMICEC
2007
ACM
15 years 10 months ago
2007
ACM
Peer production has played an important role in the economics of Web 2.0 related services. User participation and contribution become the main driving dynamics of this new economi...
158
Voted
APNOMS
2007
Springer
15 years 10 months ago
2007
Springer
The mobile devices have gained much functionality and intelligence with the growth of network technologies, the abundance of network resources, and the increase of various services...
202
click to vote
APSEC
2007
IEEE
15 years 10 months ago
2007
IEEE
Maintaining software systems becomes more difficult as their size and complexity increase. One factor that makes software maintenance more difficult is the presence of code clones...