4895 search results - page 135 / 979 » Tools for Grammar Engineering |
100
click to vote
ICST
2010
IEEE
14 years 8 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
IROS
2006
IEEE
15 years 4 months ago
2006
IEEE
— This paper introduces the Extensible Agent Behavior Specification Language (XABSL) as a pragmatic tool for engineering the behavior of autonomous agents in complex and dynamic...
TAMODIA
2008
14 years 11 months ago
2008
In this paper we introduce MuiCSer, a conceptual process framework for Multi-disciplinary User-centred Software Engineering (UCSE) processes. UCSE processes strive for the combinat...
COMCOM
2006
14 years 10 months ago
2006
We present the TOTEM open source Traffic Engineering (TE) toolbox and a set of TE methods that we have designed and/or integrated. These methods cover intra-domain and inter-domai...
CICLING
2003
Springer
15 years 3 months ago
2003
Springer
A new sort of generative grammar (Sec2) will be demonstrated which is more radically “lexicalist” than any earlier one (Sec1). It is a modified Unification Categorial Gramma...