2520 search results - page 299 / 504 » Model-checking behavioral programs |
108
Voted
ICIS
2001
15 years 4 months ago
2001
Do unsophisticated consumers fall prey to Internet consumer frauds? Why? To answer these questions this paper integrates two streams of empirical research: the process-oriented th...
125
click to vote
JDA
2006
15 years 2 months ago
2006
Abstract. Sreedhar et al. [SGL98, Sre95] have presented an eliminationbased algorithm to solve data flow problems. A thorough analysis of the algorithm shows that the worst-case pe...
100
click to vote
JDS
2006
15 years 2 months ago
2006
The concept of "agent" has been used to describe many different artefacts: software programs, mobile robots, or even human beings. In a system consisting of many agents, ...
115
click to vote
INFSOF
1998
15 years 2 months ago
1998
This paper presents a logic based language, SAFIN, for developing networked software agents. It integrates agent-oriented programming, KQML and basic mobile techniques to support ...
123
click to vote
RAID
2010
Springer
15 years 29 days ago
2010
Springer
Software keyloggers are a fast growing class of malware often used to harvest confidential information. One of the main reasons for this rapid growth is the possibility for unpriv...