53 search results - page 9 / 11 » Towards Model-Checking Programs with Lists |
EICS
2009
ACM
13 years 10 months ago
2009
ACM
Complex and dynamic interaction behaviors in applications such as Virtual Reality (VR) systems are difficult to design and develop. Reasons for this include the complexity and lim...
MOBIHOC
2005
ACM
14 years 5 months ago
2005
ACM
Node compromise poses severe security threats in wireless sensor networks. Unfortunately, existing security designs can address only a small, fixed threshold number of compromised...
LCTRTS
1999
Springer
13 years 10 months ago
1999
Springer
The SpecInt95 benchmark suite is often used to evaluate the performance of programming tools, including those used for embedded systems programming. Embedded applications, however...
ICSE
2011
IEEE-ACM
12 years 9 months ago
2011
IEEE-ACM
Considerable progress has been made towards automatic support for one of the principal techniques available to enhance program reliability: equipping programs with extensive contr...
IRI
2008
IEEE
14 years 5 days ago
2008
IEEE
Although the ever growing Web contain information to virtually every user’s query, it does not guarantee effectively accessing to those information. In many situations, the user...