15860 search results - page 2790 / 3172 » Agent-Based Software Engineering |
155
click to vote
IUI
2005
ACM
15 years 10 months ago
2005
ACM
A principal problem in speech recognition is distinguishing between words and phrases that sound similar but have different meanings. Speech recognition programs produce a list of...
137
click to vote
CEEMAS
2005
Springer
15 years 10 months ago
2005
Springer
In the AOSE (Agent-Oriented Software Engineering) area, several research efforts are underway to develop appropriate meta-models for agent-oriented methodologies. Meta-models are ...
136
click to vote
VMCAI
2005
Springer
15 years 10 months ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
164
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
145
click to vote
VSTTE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We present a framework for verifying that programs correctly preserve important data structure consistency properties. Results from our implemented system indicate that o...