12289 search results - page 866 / 2458 » computing 2006 |
213
click to vote
SAC
2006
ACM
16 years 1 months ago
2006
ACM
Parameterization is an effective technique for building flexible, reusable software. When dealing with parameterized components, an important concern is the time at which parame...
216
click to vote
CMSB
2006
Springer
15 years 11 months ago
2006
Springer
Genetic regulatory networks have been modeled as discrete transition systems by many approaches, benefiting from a large number of formal verification algorithms available for the ...
182
click to vote
EUC
2006
Springer
15 years 11 months ago
2006
Springer
Predictive p-persistent CSMA protocol is an important MAC solution developed for networked sensor/control applications and used in Local Operating Networks (LonWorks) technology. T...
185
click to vote
ICDCSW
2006
IEEE
16 years 1 months ago
2006
IEEE
Software systems need to adapt as requirements change, environment conditions vary, and bugs are discovered and fixed. In context of verification of these adaptive systems, the ...
164
click to vote
ICDCSW
2006
IEEE
16 years 1 months ago
2006
IEEE
We outline a lightweight architecture to support novel application scenarios for P2P systems. These scenarios include merging and splitting of large networks, or multiplexing rela...