Sciweavers

9785 search results - page 1867 / 1957
» Open Agent Systems
Sort
View
115
Voted
AIMSA
1998
Springer
15 years 5 months ago
A Blackboard Architecture for Guiding Interactive Proofs
The acceptance and usability of current interactive theorem proving environments is, among other things, strongly influenced by the availability of an intelligent default suggestio...
Christoph Benzmüller, Volker Sorge
117
Voted
CP
1997
Springer
15 years 5 months ago
Distributed Partial Constraint Satisfaction Problem
Many problems in multi-agent systems can be described as distributed Constraint Satisfaction Problems (distributed CSPs), where the goal is to nd a set of assignments to variables ...
Katsutoshi Hirayama, Makoto Yokoo
118
Voted
VL
1996
IEEE
130views Visual Languages» more  VL 1996»
15 years 5 months ago
Seeing Systolic Computations in a Video Game World
ToonTalkTM is a general-purpose concurrent programming system in which the source code is animated and the programming environment is like a me. Every abstract computational aspec...
Kenneth M. Kahn
CHIMIT
2007
ACM
15 years 4 months ago
Looking for trouble: understanding end-user security management
End users are often cast as the weak link in computer security; they fall victim to social engineering and tend to know very little about security technology and policies. This pa...
Joshua B. Gross, Mary Beth Rosson
115
Voted
CONEXT
2007
ACM
15 years 4 months ago
Enabling seamless internet mobility
Abstract--Mobility is a requirement not appropriately addressed by the original design of the Internet since an IP address has two fundamentally different tasks. It specifies a net...
Gregor Maier, Wolfgang Mühlbauer, Yevgen Rogo...
« Prev « First page 1867 / 1957 Last » Next »