2272 search results - page 212 / 455 » Validity Invariants and Effects |
IPPS
2006
IEEE
14 years 4 months ago
2006
IEEE
A major issue in modelling the performance merits of interconnection network is dealing with virtual channels. Some analytical models chose not to deal with this issue at all i.e....
IROS
2006
IEEE
14 years 4 months ago
2006
IEEE
Abstract— Long range navigation by unmanned ground vehicles continues to challenge the robotics community. Efficient navigation requires not only intelligent on-board perception...
WIOPT
2006
IEEE
14 years 4 months ago
2006
IEEE
We consider the problem of optimizing the number of replicas for event information in wireless sensor networks, when queries are disseminated using expanding rings. We obtain clos...
APSEC
2005
IEEE
14 years 4 months ago
2005
IEEE
This paper presents a framework to specify and verify integrated services of a home network system (HNS). We first develop a modeling language to describe the HNS and the integra...
CSB
2005
IEEE
14 years 4 months ago
2005
IEEE
Peptide compositions constructed out of whole sets of protein sequences can be used as species signatures for phylogenetic analysis. To account for point mutations, an amino acid ...