Sciweavers

2259 search results - page 280 / 452
» Leveraging Distributed Software Development
Sort
View
TASE
2009
IEEE
15 years 11 months ago
Verifying Self-stabilizing Population Protocols with Coq
Population protocols are an elegant model recently introduced for distributed algorithms running in large and unreliable networks of tiny mobile agents. Correctness proofs of such...
Yuxin Deng, Jean-François Monin
COMPSAC
2008
IEEE
15 years 11 months ago
How to Enhance UDDI with Dependability Capabilities
How dependability is to be assessed and ensured during Web Service operation and how unbiased and trusted mechanisms supporting this are to be developed are still open issues. Thi...
Anatoliy Gorbenko, Alexander Romanovsky, Vyachesla...
TMRA
2007
Springer
15 years 10 months ago
Metadata Creation in Socio-semantic Tagging Systems: Towards Holistic Knowledge Creation and Interchange
Fuzzzy.com, a social bookmarking website has been developed to study collaborative creation of semantics. In a shared online space, users of Fuzzzy continuously create metadata bot...
Roy Lachica, Dino Karabeg
RSP
1998
IEEE
126views Control Systems» more  RSP 1998»
15 years 8 months ago
Testing Prototypes Validity to Enhance Code Reuse
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...
Didier Buchs, A. Diagne, Fabrice Kordon
UIST
1996
ACM
15 years 8 months ago
XXL: A Dual Approach for Building User Interfaces
This paper presents XXL, a new interactive development system for building user interfaces which is based on the concept of textual and visual equivalence. XXL includes an interac...
Eric Lecolinet