1348 search results - page 51 / 270 » Open Microscopy Environment |
CSFW
2010
IEEE
15 years 28 days ago
2010
IEEE
We consider the problem of automating open bisimulation checking for the spi-calculus, an extension of the pi-calculus with cryptographic primitives. The notion of open bisimulatio...
IEEEMM
2002
14 years 9 months ago
2002
an abstract model for information sharing and integration and use it to develop an architecture for building open, component-based, interoperable systems. A geographic information ...
CP
2006
Springer
15 years 1 months ago
2006
Springer
In previous work, a new approach called Open CSP (OCSP) was defined as a way of integrate information gathering and problem solving. Instead of collecting all variable values befor...
ELPUB
2008
ACM
14 years 11 months ago
2008
ACM
It has been noted that one of the potential benefits of Open Access is the increase in visibility for research output from less developed countries. However little is known about ...
ICIDS
2009
Springer
15 years 4 months ago
2009
Springer
Say Anything is a text-based interactive digital storytelling application that differs from other systems in its emphasis on the ability of users to create a narrative in any domai...