4814 search results - page 99 / 963 » Combining abstract interpreters |
159
click to vote
JFP
2008
15 years 5 months ago
2008
We consider the problem of reconciling a dependently typed functional language with imperative features such as mutable higher-order state, pointer aliasing, and non-termination. ...
176
click to vote
IFIPTM
2010
15 years 4 months ago
2010
Abstract. The open and dynamic nature of modern distributed systems and pervasive environments presents significant challenges to security management. One solution may be trust ma...
171
click to vote
PERCOM
2010
ACM
15 years 3 months ago
2010
ACM
Abstract—Bringing heterogeneous devices like industrial machines, home appliances, and wireless sensors into the Web assumes the usage of well-defined standards and protocols. O...
188
click to vote
ADMA
2010
Springer
15 years 3 months ago
2010
Springer
Abstract. This paper describes an approach to identifying and comparing frequent pattern trends in social networks. A frequent pattern trend is defined as a sequence of time-stampe...
199
click to vote
ICAI
2009
15 years 3 months ago
2009
Agents that operate in a real-world environment have to process an abundance of information, which may be ambiguous or noisy. We present a method inspired by cognitive research tha...