10908 search results - page 447 / 2182 » Requirements Engineering Tasks |
134
click to vote
ICSE
2010
IEEE-ACM
15 years 9 months ago
2010
IEEE-ACM
We present a novel approach to automatic synthesis of loopfree programs. The approach is based on a combination of oracle-guided learning from examples, and constraint-based synth...
128
click to vote
NDSS
1997
IEEE
15 years 8 months ago
1997
IEEE
The Internet Engineering Task Force (IETF) is in the process of adopting standards for IP-layer encryption and authentication (IPSEC). We describe how “probable plaintext” can...
139
click to vote
AI
2002
Springer
15 years 4 months ago
2002
Springer
Program slicing is a general, widely-used, and accepted technique applicable to different software engineering tasks including debugging, whereas model-based diagnosis is an AI te...
129
click to vote
ICSE
2009
IEEE-ACM
15 years 2 months ago
2009
IEEE-ACM
Managing features that have fine-grained impact on base programs is a challenging task in software product line development. Despite well-known problems, preprocessing (e.g., cpp)...
171
click to vote
NICSO
2010
Springer
15 years 11 months ago
2010
Springer
This paper presents the novel use of the Neural-endocrine architecture for swarm robotic systems. We make use of a number of behaviours to give rise to emergent swarm behaviour to ...