15885 search results - page 2790 / 3177 » The Modest Software Engineer |
197
click to vote
IUI
2005
ACM
16 years 7 days 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...
179
click to vote
CEEMAS
2005
Springer
16 years 7 days 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 ...
178
click to vote
VMCAI
2005
Springer
16 years 5 days 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...
227
click to vote
VSTTE
2005
Springer
16 years 5 days 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...
184
click to vote
VSTTE
2005
Springer
16 years 5 days 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...