26472 search results - page 377 / 5295 » Interactive |
162
click to vote
WEBNET
1997
15 years 8 months ago
1997
In an effort to enlarge moral reference communities to include netizens of the world, the author constructed a web application called the Interactive Computer Ethics Explorer (ICE...
131
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Keyword matching or ID matching is the most common searching method in a large database of protein-protein interactions. They are purely syntactic methods, and retriev...
168
click to vote
CORR
2010
Springer
15 years 7 months ago
2010
Springer
We present a restriction of the solos calculus which is stable under reduction and expressive enough to contain an encoding of the pi-calculus. As a consequence, it is shown that ...
165
click to vote
ENTCS
2010
15 years 7 months ago
2010
Component Interaction Automata provide a fitting model to capture and analyze the temporal facets of hierarchical-structured component-oriented software systems. However, the rule...
186
click to vote
FMSD
2006
15 years 6 months ago
2006
A Promela specification and a set of temporal properties are developed for a basic call service with a number of features. The properties are expressed in the logic LTL. Interactio...