7758 search results - page 284 / 1552 » On the Number of Distributive Lattices |
175
click to vote
OZCHI
2006
ACM
16 years 17 days ago
2006
ACM
For people working in situations with few colleagues around, information technology could be used for increased communication with colleagues at other places. One such group is te...
159
click to vote
ACSAC
2005
IEEE
16 years 7 days ago
2005
IEEE
Software model checking has become a popular tool for verifying programs’ behavior. Recent results suggest that it is viable for finding and eradicating security bugs quickly. ...
185
click to vote
ICDCSW
2005
IEEE
16 years 7 days ago
2005
IEEE
Today’s multimedia environments are characterized by different stationary and a growing number of mobile devices, like PDAs or even mobile phones. To meet their requirements reg...
193
click to vote
ICPADS
2005
IEEE
16 years 6 days ago
2005
IEEE
This work presents a new comparison-based diagnosis model and a new algorithm, called Hi-Dif, based on this model. The algorithm is used for checking the integrity of systems with...
180
click to vote
ADHOCNOW
2005
Springer
16 years 5 days ago
2005
Springer
Sensor nets have many undisputed fields of application. A paradigm of communication is the use of one control channel in the MAC layer. We challenge this paradigm for nodes with v...