3192 search results - page 354 / 639 » A Requirements-Driven Development Methodology |
150
click to vote
MMSEC
2005
ACM
16 years 6 days 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...
170
Voted
SC
2005
ACM
16 years 6 days 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...
141
click to vote
ATAL
2005
Springer
16 years 6 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...
168
click to vote
BIRTHDAY
2005
Springer
16 years 6 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...
158
Voted
CASSIS
2005
Springer
16 years 6 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...