73 search results - page 10 / 15 » The Nuprl Open Logical Environment |
HICSS
2005
IEEE
14 years 1 months ago
2005
IEEE
— This paper considers a formal object-oriented model for distributed computing. Object orientation appears as a leading framework for concurrent and distributed systems. However...
IJVR
2006
13 years 7 months ago
2006
This paper introduces SCIVE, a Simulation Core for Intelligent Virtual Environments. SCIVE provides a Knowledge Representation Layer (KRL) as a central organizing struc...
ACSC
2006
IEEE
14 years 1 months ago
2006
IEEE
Code obfuscation is a relatively new technique of software protection and it works by deterring reverse engineering attempts by malicious users of software. The objective of obfus...
BMCBI
2010
13 years 8 months ago
2010
Background: High-density tiling arrays and new sequencing technologies are generating rapidly increasing volumes of transcriptome and protein-DNA interaction data. Visualization a...
FSEN
2009
Springer
13 years 11 months ago
2009
Springer
We propose and explore a formal approach for black-box testing asynchronously communicating components in open environments. Asynchronicity poses a challenge for validating and tes...