10916 search results - page 303 / 2184 » On Constructive Connectives and Systems |
159
click to vote
ICDCSW
2008
IEEE
16 years 1 months ago
2008
IEEE
Networked virtual environments (NVEs) are computergenerated virtual worlds where users interact by exchanging messages via network connections. Each NVE user often pays attention ...
178
click to vote
SP
2007
IEEE
16 years 1 months ago
2007
IEEE
Information-flow security policies are an appealing way of specifying confidentiality and integrity policies in information systems. Most previous work on language-based securit...
216
click to vote
CHI
1997
ACM
15 years 11 months ago
1997
ACM
MOBI-D (Model-Based Interface Designer) is a software environment the design and development of user interfaces from declarative interface models. End-users informally describe ta...
245
click to vote
PVM
1997
Springer
15 years 11 months ago
1997
Springer
The extremely low latencies and high bandwidth results achievable with the Scalable Coherent Interface SCI at lowest level encourages its integration into existing Message Passin...
177
click to vote
DEBS
2007
ACM
15 years 10 months ago
2007
ACM
We introduce SpiderCast, a distributed protocol for constructing scalable churn-resistant overlay topologies for supporting decentralized topic-based pub/sub communication. Spider...