1121 search results - page 214 / 225 » Building Formal Requirements Models for Reliable Software |
ICALP
2005
Springer
15 years 2 months ago
2005
Springer
Abstract. Radio networks model wireless communication when processing units communicate using one wave frequency. This is captured by the property that multiple messages arriving s...
119
Voted
ICPADS
2002
IEEE
15 years 2 months ago
2002
IEEE
Abstract— Content replication and distribution is an effective technology to reduce the response time for web accesses and has been proven quite popular among large Internet cont...
BIBE
2007
IEEE
15 years 1 months ago
2007
IEEE
Machine learning approaches offer some of the most cost-effective approaches to building predictive models (e.g., classifiers) in a broad range of applications in computational bio...
TASE
2010
IEEE
14 years 4 months ago
2010
IEEE
--This paper presents a novel approach to evaluate the response time in networked automation systems (NAS) that use a client/server protocol. The developments introduced are derive...
CIDR
2003
14 years 10 months ago
2003
Speculation is an every day phenomenon whereby one acts in anticipation of particular conditions that are likely to hold in the future. Computer science research has seen many suc...