Sciweavers

8636 search results - page 1357 / 1728
» How Developers Copy
Sort
View
ECLIPSE
2005
ACM
15 years 6 months ago
InsECTJ: a generic instrumentation framework for collecting dynamic information within Eclipse
The heterogeneity and dynamism of today’s software systems make it difficult to assess the performance, correctness, or security of a system outside the actual time and context ...
Arjan Seesing, Alessandro Orso
COCO
2008
Springer
97views Algorithms» more  COCO 2008»
15 years 6 months ago
Generalized Tsirelson Inequalities, Commuting-Operator Provers, and Multi-prover Interactive Proof Systems
A central question in quantum information theory and computational complexity is how powerful nonlocal strategies are in cooperative games with imperfect information, such as mult...
Tsuyoshi Ito, Hirotada Kobayashi, Daniel Preda, Xi...
136
Voted
COORDINATION
2008
Springer
15 years 6 months ago
Implementing Session Centered Calculi
Recently, specific attention has been devoted to the development of service oriented process calculi. Besides the foundational aspects, it is also interesting to have prototype imp...
Lorenzo Bettini, Rocco De Nicola, Michele Loreti
COST
2008
Springer
69views Multimedia» more  COST 2008»
15 years 6 months ago
Supporting Engagement and Floor Control in Hybrid Meetings
Remote participants in hybrid meetings often have problems to follow what is going on in the (physical) meeting room they are connected with. This paper describes a videoconferenci...
Rieks op den Akker, Dennis Hofs, Hendri Hondorp, H...
CP
2008
Springer
15 years 6 months ago
Perfect Derived Propagators
When implementing a propagator for a constraint, one must decide about variants: When implementing min, should one also implement max? Should one implement linear equations both wi...
Christian Schulte, Guido Tack
« Prev « First page 1357 / 1728 Last » Next »