3527 search results - page 261 / 706 » Test Automation in Practice |
214
click to vote
KR
2010
Springer
15 years 8 months ago
2010
Springer
Existing action calculi provide rich, declarative formalisms for reasoning about actions. BDI-based programming languages like AgentSpeak, on the other hand, are procedural and ge...
169
click to vote
FLOPS
2008
Springer
15 years 7 months ago
2008
Springer
Dependent types are useful for statically checking detailed specifications of programs and detecting pattern match or array bounds errors. We propose a novel approach to applicatio...
164
click to vote
FM
2008
Springer
15 years 7 months ago
2008
Springer
Interface automata provide a formalism capturing the high level interactions between software components. Checking compatibility, and other safety properties, in an automata-based ...
148
click to vote
DLOG
2006
15 years 7 months ago
2006
This work is motivated by the task of describing in natural language a concept defined in an OWL DL ontology. However, rather than focussing on linguistic issues, we address the q...
155
click to vote
DGO
2003
15 years 7 months ago
2003
Research advances in geospatial automated image analysis tools and feature extraction algorithms have matured in recent times to levels of practical applicability. The consolidati...