5101 search results - page 773 / 1021 » Capturing Context Requirements |
135
click to vote
EUROCRYPT
2003
Springer
15 years 8 months ago
2003
Springer
Perfectly secret message transmission can be realized with only partially secret and weakly correlated information shared by the parties as soon as this information allows for the ...
124
click to vote
FM
2003
Springer
15 years 8 months ago
2003
Springer
Software systems are often model checked by translating them into a directly model-checkable formalism. Any serious software system requires application of compositional reasoning ...
156
Voted
FMCO
2003
Springer
15 years 8 months ago
2003
Springer
Abstract. The Unified Modeling Language (UML) favors the construction of models composed of several submodels, modeling the system comunder development at different levels of abs...
120
Voted
GECCO
2003
Springer
15 years 8 months ago
2003
Springer
The process of labeling each word in a sentence with one of its lexical categories (noun, verb, etc) is called tagging and is a key step in parsing and many other language processi...
113
Voted
GECCO
2003
Springer
15 years 8 months ago
2003
Springer
Many evolutionary computation search spaces require fitness assessment through the sampling of and generalization over a large set of possible cases as input. Such spaces seem par...