Sciweavers

5790 search results - page 1047 / 1158
» Distributed programming with distributed authorization
Sort
View
FM
2006
Springer
113views Formal Methods» more  FM 2006»
14 years 23 days ago
Interface Input/Output Automata
We propose a new look at one of the most fundamental types of behavioral interfaces: discrete time specifications of communication--directly related to the work of de Alfaro and H...
Kim Guldstrand Larsen, Ulrik Nyman, Andrzej Wasows...
GECCO
2006
Springer
185views Optimization» more  GECCO 2006»
14 years 23 days ago
Memory analysis and significance test for agent behaviours
Many agent problems in a grid world have a restricted sensory information and motor actions. The environmental conditions need dynamic processing of internal memory. In this paper...
DaeEun Kim
AFRIGRAPH
2001
ACM
14 years 23 days ago
Experiences in porting a virtual reality system to Java
Practical experience in porting a large virtual reality system from C/C++ to Java indicates that porting this type of real-time application is both feasible, and has several merit...
Shaun Bangay
CC
2001
Springer
14 years 23 days ago
Goal-Directed Value Profiling
Compilers can exploit knowledge that a variable has a fixed known value at a program point for optimizations such as code specialization and constant folding. Recent work has shown...
Scott A. Watterson, Saumya K. Debray
KR
2000
Springer
14 years 21 days ago
An Environment for Merging and Testing Large Ontologies
Large-scale ontologies are becoming an essential component of many applications including standard search (such as Yahoo and Lycos), ecommerce (such as Amazon and eBay), configura...
Deborah L. McGuinness, Richard Fikes, James Rice, ...
« Prev « First page 1047 / 1158 Last » Next »