Sciweavers

7504 search results - page 352 / 1501
» Computing with Action Potentials
Sort
View
CSCWD
2006
Springer
15 years 8 months ago
Quantitative Evaluation of Workspace Collaboration
In this paper we propose an analytical approach based on models of human performance to evaluate workspace collaboration. Our results indicate that the approach: 1) facilitates th...
Antonio Ferreira, Pedro Antunes
112
Voted
CONCUR
1995
Springer
15 years 8 months ago
Fibrational Control Structures
We provide a category theoretic reformulation of control structures, which avoids explicit reference to names. The basis of the formulation is what we call a binding structure, wh...
Claudio Hermida, John Power
111
Voted
DSVIS
1995
Springer
15 years 8 months ago
Exploring Design Options Rationally
Abstract. This paper describes a design technique for interactive systems that allows designs to be specified and refined formally, using a notation based on Action Systems. The ...
Chris Bramwell, Bob Fields, Michael D. Harrison
BIRTHDAY
2008
Springer
15 years 6 months ago
Temporal Verification of Probabilistic Multi-Agent Systems
Abstract. Probabilistic systems of interacting intelligent agents are considered. They have two sources of uncertainty: uncertainty of communication channels and uncertainty of act...
Michael I. Dekhtyar, Alexander Ja. Dikovsky, Mars ...
CAINE
2003
15 years 6 months ago
Analysis Tool for Honeypot Systems
The increased utilization of the Internet and the larger number of computers connected to it has brought up a significant security problem. Hackers or crackers have attacked compu...
Terry Griffin