2282 search results - page 62 / 457 » Active property checking |
ICSE
2005
IEEE-ACM
14 years 11 months ago
2005
IEEE-ACM
Many software properties can be analysed through a relational size analysis on each function's inputs and outputs. Such relational analysis (through a form of dependent typin...
ICLP
2004
Springer
14 years 4 months ago
2004
Springer
A component is the basic re-usable unit of composition to build composite systems by connecting to others through their provided and required ports. Checking the functional complia...
ICLP
2010
Springer
2010
Springer
A Framework for Verification and Debugging of Resource Usage Properties: Resource Usage Verification
13 years 9 months ago
We present a framework for (static) verification of general resource usage program properties. The framework extends the criteria of correctness as the conformance of a program to ...
ICRA
1999
IEEE
14 years 3 months ago
1999
IEEE
During teleoperation, the automatic identification of remote environment properties has the potential of improving performance by providing task-specific feedback to the operator. ...
INFOCOM
2009
IEEE
14 years 5 months ago
2009
IEEE
—The performance of randomized network coding can suffer significantly when malicious nodes corrupt the content of the exchanged blocks. Previous work have introduced error corr...