Sciweavers

7924 search results - page 233 / 1585
» Non-Malleable Functions and Their Applications
Sort
View
ACMDIS
1997
ACM
15 years 11 months ago
How to Make Software Softer - Designing Tailorable Applications
The design of tailorable systems is an important issue for fields of application which are characterized by differentiation and dynamics. We show how tailorability can be combined...
Oliver Stiemerling, Helge Kahler, Volker Wulf
ERSHOV
2009
Springer
15 years 11 months ago
A Java Supercompiler and Its Application to Verification of Cache-Coherence Protocols
Abstract. The Java Supercompiler (JScp) is a specializer of Java programs based on the Turchin's supercompilation method and extended to support imperative and object-oriented...
Andrei V. Klimov
ICCE
2007
112views Education» more  ICCE 2007»
15 years 8 months ago
Collaborative Lesson-preparing Environments: EduWiki Designing and its Applications
: Eduwiki is a version of Wiki integrated educational special needs aims to support collaborative lesson-preparing. The paper described the workflow and function of developing Eduw...
Yueliang Zhou, Chaohua Gong
GG
2008
Springer
15 years 8 months ago
Network Applications of Graph Bisimulation
Abstract Synchronising Graphs is a system of parallel graph transformation designed for modeling process interaction in a network environment. We propose a theory of context-free s...
Pietro Cenciarelli, Daniele Gorla, Emilio Tuosto
AUTOMATICA
2006
135views more  AUTOMATICA 2006»
15 years 7 months ago
Finite-time convergent gradient flows with applications to network consensus
This paper introduces the normalized and signed gradient dynamical systems associated with a differentiable function. Extending recent results on nonsmooth stability analysis, we ...
Jorge Cortés