3971 search results - page 464 / 795 » On the Use of Properties in Java Applications |
156
click to vote
SCAM
2006
IEEE
16 years 1 months ago
2006
IEEE
This paper addresses the question: “How can animated visualisation be used to express interesting properties of static analysis?” The particular focus is upon static dependenc...
209
click to vote
INFOCOM
1998
IEEE
15 years 11 months ago
1998
IEEE
Mobile nodes of the future will be equiped with multiple network interfaces to take advantage of overlay networks, yet no current mobility systems provide full support for the sim...
202
click to vote
SIGSOFT
1996
ACM
15 years 11 months ago
1996
ACM
In this paper we present our experiences in using symbolic model checking to analyze a specification of a software system for aircraft collision avoidance. Symbolic model checking ...
143
click to vote
AIPS
2006
15 years 8 months ago
2006
We describe a domain-independent framework for plan summarization and comparison that can help a human understand both the key elements of an individual plan and important differe...
192
click to vote
SMA
2010
ACM
15 years 7 months ago
2010
ACM
In region machining, neighbouring regions may be close together, but disconnected. Boundary curves may also have unwanted geometric artifacts caused by approximation and discretis...