3192 search results - page 354 / 639 » A Requirements-Driven Development Methodology |
176
click to vote
MMSEC
2005
ACM
16 years 1 months ago
2005
ACM
—This work investigates a central problem in steganography, that is: How much data can safely be hidden without being detected? To answer this question a formal definition of st...
193
click to vote
SC
2005
ACM
16 years 1 months ago
2005
ACM
We present a new methodology for generating and adapting octree meshes for terascale applications. Our approach combines existing methods, such as parallel octree decomposition and...
158
click to vote
ATAL
2005
Springer
16 years 29 days ago
2005
Springer
The paper presents an agent-oriented programming language SLABSp. It provides caste and scenario mechanisms in a coherent way to support the caste-centric methodology of agent-ori...
196
click to vote
BIRTHDAY
2005
Springer
16 years 29 days ago
2005
Springer
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
179
click to vote
CASSIS
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. Abstract interpretation is a particularly well-suited methodology to build modular correctness proof of static analysers. Proof modularity becomes essential when correctn...