Sciweavers

27274 search results - page 426 / 5455
» A framework for framework documentation
Sort
View
BMCBI
2006
104views more  BMCBI 2006»
15 years 6 months ago
GNU polyxmass: a software framework for mass spectrometric simulations of linear (bio-)polymeric analytes
Background: Nowadays, a variety of (bio-)polymers can be analyzed by mass spectrometry. The detailed interpretation of the spectra requires a huge number of "hypothesis cycle...
Filippo Rusconi
FMSD
2006
103views more  FMSD 2006»
15 years 6 months ago
Cones and foci: A mechanical framework for protocol verification
We define a cones and foci proof method, which rephrases the question whether two system specifications are branching bisimilar in terms of proof obligations on relations between ...
Wan Fokkink, Jun Pang, Jaco van de Pol
191
Voted
JDCTA
2008
128views more  JDCTA 2008»
15 years 6 months ago
Specifying a WS-ECA Working Framework for Ubiquitous Web Services in Object-Process Methodology
The Web Services-Event-Condition-Action (WSECA) framework is designed to enable the heterogeneous communication devices in Ubiquitous Computing Environments to achieve inter-opera...
Haining Lee, Jaeil Park, Peom Park, Dongmin Shin
ISI
2006
Springer
15 years 6 months ago
Synergy: A Policy-Driven, Trust-Aware Information Dissemination Framework
Information dissemination is of vital importance in today's information-centric world. However, controlling the flow of information across multiple security domains is a probl...
Ragib Hasan, Marianne Winslett
ITSSA
2006
100views more  ITSSA 2006»
15 years 6 months ago
A General Framework for Multi-agent Search with Individual and Global Goals: Stakeholder Search
: Stakeholder search is a general framework for an extension to the improving on the competition approach paradigm for cooperative search that allows for additional individual goal...
Alan Fedoruk, Jörg Denzinger