Sciweavers

7961 search results - page 270 / 1593
» Input-Output Model Programs
Sort
View
PPPJ
2006
ACM
15 years 10 months ago
Propagation of JML non-null annotations in Java programs
Development of high quality code is extremely dicult. Tools that help maintaining the proper quality of code produced by programmers can be very useful: they may increase the qua...
Maciej Cielecki, Jedrzej Fulara, Krzysztof Jakubcz...
110
Voted
ICRA
2005
IEEE
142views Robotics» more  ICRA 2005»
15 years 9 months ago
Grasp Recognition for Programming by Demonstration
— The demand for flexible and re-programmable robots has increased the need for programming by demonstration systems. In this paper, grasp recognition is considered in a program...
Staffan Ekvall, Danica Kragic
123
Voted
PROMAS
2005
Springer
15 years 9 months ago
Declarative Agent Programming Support for a FIPA-Compliant Agent Platform
Multi-agent system(MAS) is a blooming research area, which exhibits a new paradigm for the design, modelling and implementation of complex systems. A significant amount of effort...
Mengqiu Wang, Mariusz Nowostawski, Martin K. Purvi...
IEEEAMS
2003
IEEE
15 years 9 months ago
Programming Systems for Autonomy
This paper describes a new approach to programming autonomic systems. Autonomic functions are integrated into element objects at design time using a special language called JSpoon...
Alexander V. Konstantinou, Yechiam Yemini
IPPS
2002
IEEE
15 years 9 months ago
Toward a Framework for Preparing and Executing Adaptive Grid Programs
This paper describes the program execution framework being developed by the Grid Application Development Software (GrADS) Project. The goal of this framework is to provide good re...
Ken Kennedy, Mark Mazina, John M. Mellor-Crummey, ...