20655 search results - page 3694 / 4131 » Exploring Software Systems |
194
click to vote
ATAL
2003
Springer
16 years 29 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...
208
click to vote
CLOUD
2010
ACM
16 years 24 days ago
2010
ACM
Cloud computing has emerged as a preferred platform for deploying scalable web-applications. With the growing scale of these applications and the data associated with them, scalab...
210
Voted
ACSAC
2002
IEEE
16 years 21 days ago
2002
IEEE
Secure computer systems use both mandatory and discretionary access controls to restrict the flow of information through legitimate communication channels such as files, shared ...
205
click to vote
HICSS
2002
IEEE
16 years 20 days ago
2002
IEEE
For many companies, the strategic as well as the organizational fit of their information systems is a pivotal factor for staying competitive. At the same time, there is an increas...
265
Voted
SIGADA
2001
Springer
16 years 4 days ago
2001
Springer
Statement and AbstractProblem Statement and AbstractProblem Statement and AbstractProblem Statement and Abstract The U.S. Navy currently bases the majority of our contact managemen...