Sciweavers

2250 search results - page 56 / 450
» Authorizing applications in singularity
Sort
View
CONCUR
2005
Springer
15 years 3 months ago
A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs
Abstract. In this paper we show how to compress efficiently the statespace of a concurrent system (here applied to a simple shared memory model, but this is no way limited to that ...
Eric Goubault, Emmanuel Haucourt
JUCS
2010
104views more  JUCS 2010»
14 years 8 months ago
Computational Science and its Applications
of Abstract and Full Paper submission: October 31, 2009 November 15, 2009 Notification of Acceptance: December 7, 2009: Deadline of Authors and Early-bird Registration: January 8, ...
Osvaldo Gervasi, K. Tan, Marina L. Gavrilova, Davi...
AFRIGRAPH
2003
ACM
15 years 1 months ago
A meta-authoring tool for specifying interactions in virtual reality environments
When creating virtual reality environments a large amount of the interaction needs to be programmed. The problem with this is that non-computer expert users lack the programming s...
Zayd Hendricks, Gary Marsden, Edwin H. Blake
DLOG
2003
14 years 11 months ago
Visualising a DL Knowledge Base with DeLogViz
Ontologies are more than an elaborate approach to the definition and classification of information. They play a vital role in various web-oriented applications that makes a corr...
Bo Hu, Nigel Shadbolt
WWW
2007
ACM
15 years 10 months ago
Supporting end-users in the creation of dependable web clips
Web authoring environments enable end-users to create applications that integrate information from other web sources. Users can create web sites that include built-in components t...
Sandeep Lingam, Sebastian G. Elbaum