7124 search results - page 781 / 1425 » Programming Languages and Operating Systems |
186
click to vote
APAL
2006
15 years 7 months ago
2006
This paper studies the complexity of behavior of multi-agent systems. Behavior properties are formulated using classical temporal logic languages and are checked with respect to t...
227
click to vote
PLDI
2010
ACM
16 years 4 months ago
2010
ACM
Calling context--the set of active methods on the stack--is critical for understanding the dynamic behavior of large programs. Dynamic program analysis tools, however, are almost ...
202
Voted
ICSE
2005
IEEE-ACM
16 years 7 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...
185
Voted
ISDA
2008
IEEE
16 years 1 months ago
2008
IEEE
In this paper, we propose an algorithm and data structure for computing the term contributed frequency (tcf) for all N-grams in a text corpus. Although term frequency is one of th...
203
click to vote
VL
1992
IEEE
15 years 11 months ago
1992
IEEE
In software visualization and algorithm animation it is important that advances in system technologies are accompanied by corresponding advances in animation presentations. In thi...