854 search results - page 157 / 171 » Addressing Dynamic Issues of Program Model Checking |
111
click to vote
AINA
2010
IEEE
15 years 4 months ago
2010
IEEE
One of the major premises of P2P systems is to enable fully decentralized collaborative functionalities for supporting work teams and P2P communities. Within collaborative systems,...
106
click to vote
SAC
2005
ACM
15 years 5 months ago
2005
ACM
The launch of new features for mobile phones is increasing and the product life cycle symmetrically decreasing in duration as higher levels of sophistication are reached. Therefor...
136
click to vote
USS
2010
14 years 9 months ago
2010
Web applications are the most common way to make services and data available on the Internet. Unfortunately, with the increase in the number and complexity of these applications, ...
110
click to vote
MM
2004
ACM
15 years 5 months ago
2004
ACM
With the increasing ubiquity of sensors and computational resources, it is becoming easier and increasingly common for people to electronically record, photographs, text, audio, a...
114
click to vote
INFOVIS
2003
IEEE
15 years 5 months ago
2003
IEEE
Network evolution is a ubiquitous phenomenon in a wide variety of complex systems. There is an increasing interest in statistically modeling the evolution of complex networks such...