11462 search results - page 87 / 2293 » Developing Application-Centric Methods |
130
click to vote
IASSE
2003
15 years 4 months ago
2003
This paper describes the functionality required for a development environment that supports stratified programming (SP), a novel software development method that we have proposed ...
134
click to vote
IPC
2007
IEEE
15 years 9 months ago
2007
IEEE
Location systems are core technologies for enabling pervasive computing smart spaces. Signal Strength based location estimation offers economical viability and sufficient accurac...
108
click to vote
ECAL
2007
Springer
15 years 9 months ago
2007
Springer
Abstract. The paper presents a method to guide the self-organised development of behaviours of autonomous robots. In earlier publications we demonstrated how to use the homeokinesi...
121
click to vote
CADE
1998
Springer
15 years 7 months ago
1998
Springer
Abstract. We present a theorem proving environment for the development of reliable and efficient group communication systems. Our approach makes methods of automated deduction appl...
116
click to vote
VL
1994
IEEE
15 years 7 months ago
1994
IEEE
Developers of new imageanalysis algorithmstypically require an interactive environment in which the imagedata can be passed through various operators, some of which may involve fe...