46084 search results - page 107 / 9217 » Developments in WIS development |
129
click to vote
COLING
1992
15 years 7 months ago
1992
Development of reusahle dictionaries for NI,P applications requires a carefully designed lexicological framework, a lexical acquisition strategy, an integrated development toolbox...
138
click to vote
FUIN
2008
15 years 6 months ago
2008
Abstract. Web services are emerging as a promising technology for the development of next generation distributed heterogeneous software systems. We define a new behavioural equival...
177
click to vote
ENTCS
2006
15 years 6 months ago
2006
We present a proof technique in -calculus that can facilitate inductive reasoning on -terms by separating certain -developments from other -reductions. We give proofs based on thi...
174
click to vote
AAMAS
2004
Springer
15 years 6 months ago
2004
Springer
In this paper we overview one specific approach to the formal development of multi-agent systems. This approach is based on the use of temporal logics to represent both the behavio...
154
click to vote
EMISA
2002
Springer
15 years 6 months ago
2002
Springer
Abstract: There is a lack of a systematic, generic, domain independent objectoriented software engineering process for software familes. In such process a system family should be t...