Sciweavers

7430 search results - page 452 / 1486
» Programming Applications in CIFF
Sort
View
FOSSACS
2006
Springer
15 years 10 months ago
Reversing Algebraic Process Calculi
Reversible computation has a growing number of promising application areas such as the modelling of biochemical systems, program debugging and testing, and even programming languag...
Iain C. C. Phillips, Irek Ulidowski
AFRIGRAPH
2003
ACM
15 years 10 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

Publication
591views
15 years 8 months ago
DFC, Microsoft developers, .NET and DFC PIA
This is a very nice article that explains the Documentum Foundation Class and how it relates to .NET programming. I developed a lot of applications using .NET that work with Docume...
Craig’s Musings
ENTCS
2010
130views more  ENTCS 2010»
15 years 7 months ago
Asynchronous Components with Futures: Semantics and Proofs in Isabelle/HOL
Components provide an easy to use programming paradigm allowing for better re-usability of application code. In the context of distributed programming, autonomous hierarchical com...
Ludovic Henrio, Muhammad Uzair Khan
IFIP
2009
Springer
16 years 1 months ago
Applied Quantitative Information Flow and Statistical Databases
We firstly describe an algebraic structure which serves as solid basis to quantitatively reason about information flows. We demonstrate how programs in form of partition of state...
Jonathan Heusser, Pasquale Malacaria