Sciweavers

2315 search results - page 22 / 463
» Does EigenPalm work
Sort
View
ECLIPSE
2007
ACM
14 years 28 days ago
Supporting empirical studies by non-intrusive collection and visualization of fine-grained revision history
This paper presents a code-revision history collection and visualization Eclipse plugin for use in empirical studies of programmers. The revision history is collected non-intrusiv...
Jacky Chan, Alan Chu, Elisa L. A. Baniassad
ECTEL
2007
Springer
14 years 28 days ago
Curriculum Model Checking: Declarative Representation and Verification of Properties
When a curriculum is proposed, it is important to verify at least three aspects: that the curriculum allows the achievement of the user's learning goals, that the curriculum i...
Matteo Baldoni, Elisa Marengo
CRYPTO
2006
Springer
99views Cryptology» more  CRYPTO 2006»
14 years 20 days ago
Scalable Secure Multiparty Computation
We present the first general protocol for secure multiparty computation which is scalable, in the sense that the amortized work per player does not grow, and in some natural settin...
Ivan Damgård, Yuval Ishai
AAAI
2008
13 years 11 months ago
Dynamic Distributed Constraint Reasoning
What local action can agents take, without the benefit of global knowledge, to produce the best global solution? Many dynamic distributed systems can be modeled using techniques f...
Robert N. Lass, Evan Sultanik, William C. Regli
OWLED
2008
13 years 10 months ago
Calculations in OWL
The current OWL specification does not include a syntax for specifying calculated values for data type properties. Their introduction, although acknowledged among the desiderata, s...
Luigi Iannone, Alan L. Rector