Sciweavers

12670 search results - page 113 / 2534
» Requirements Modeling
Sort
View
IPPS
2006
IEEE
15 years 8 months ago
Algorithmic models for sensor networks
Developing algorithms for sensor networks—and proving their correctness and performance—, requires simplifying but still realistic models. This paper surveys various models in...
Stefan Schmid, Roger Wattenhofer
ICCS
2003
Springer
15 years 7 months ago
Measurement Models for Survivability and Competitiveness of Very Large E-marketplace
E-Marketplace is a man-made profit center with emergent customer requirements. This emergence nature poses many difficulties for e-marketplace to satisfy its customers and thus aff...
Jingzhi Guo, Chengzheng Sun
115
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
Detecting model inconsistency through operation-based model construction
Nowadays, large-scale industrial software systems may involve hundreds of developers working on hundreds of different but related models representing parts of the same system spec...
Xavier Blanc, Isabelle Mounier, Alix Mougenot, Tom...
123
Voted
CCS
2006
ACM
15 years 6 months ago
Multi-signatures in the plain public-Key model and a general forking lemma
A multi-signature scheme enables a group of signers to produce a compact, joint signature on a common document, and has many potential uses. However, existing schemes impose key s...
Mihir Bellare, Gregory Neven
125
Voted
AAAI
2000
15 years 3 months ago
The Systems Engineering Process Activities (SEPA) Methodology and Tool Suite
or cone, abstraction is chosen to represent a spectrum of user inputs/requirements that are narrowed, refined, and structured into a system design. User inputs require refinement f...
K. Suzanne Barber, Thomas J. Graser, Paul Grisham,...