5634 search results - page 1064 / 1127 » About Abstract Classes |
114
click to vote
SIGSOFT
2008
ACM
16 years 19 days ago
2008
ACM
Runtime monitoring allows programmers to validate, for instance, the proper use of application interfaces. Given a property specification, a runtime monitor tracks appropriate run...
118
click to vote
SIGSOFT
2007
ACM
16 years 19 days ago
2007
ACM
Automated verification is a technique for establishing if certain properties, usually expressed in temporal logic, hold for a system model. The model can be defined using a high-l...
SIGSOFT
2003
ACM
16 years 19 days ago
2003
ACM
State machine based formalisms such as labelled transition systems (LTS) are generally assumed to be complete descriptions m behaviour at some level of abstraction: if a labelled ...
100
click to vote
WWW
2008
ACM
16 years 17 days ago
2008
ACM
The success and popularity of social network systems, such as del.icio.us, Facebook, MySpace, and YouTube, have generated many interesting and challenging problems to the research...
189
click to vote
POPL
2009
ACM
16 years 16 days ago
2009
ACM
This paper describes a compositional shape analysis, where each procedure is analyzed independently of its callers. The analysis uses an abstract domain based on a restricted frag...