7124 search results - page 777 / 1425 » Programming Languages and Operating Systems |
202
click to vote
DAGSTUHL
2007
15 years 9 months ago
2007
bstract, rather than through examples. I’d like to see the ability to demonstrate examples in concrete situations, have the system record them, and generalize them to yield a pro...
208
click to vote
PERCOM
2010
ACM
15 years 5 months ago
2010
ACM
Abstract--Despite much progress, developing a pervasive computing application remains a challenge because of a lack of conceptual frameworks and supporting tools. This challenge in...
192
Voted
ATAL
2003
Springer
16 years 21 days ago
2003
Springer
This paper introduces AgentSpeak(F), a variation of the BDI logic programming language AgentSpeak(L) intended to permit the model-theoretic verification of multi-agent systems. A...
180
Voted
PACT
2001
Springer
15 years 12 months ago
2001
Springer
Abstract. This paper describes a mechanism for “fusing” concurrent invocations of exclusive methods. The target of our work is object-oriented languages with concurrent extensi...
174
click to vote
COMPSAC
2008
IEEE
16 years 1 months ago
2008
IEEE
Buffer overflow (BOF) is one of the major vulnerabilities that leads to non-secure software. Testing an implementation for BOF vulnerabilities is challenging as the underlying rea...