Sciweavers

4258 search results - page 195 / 852
» Languages and Interactive Software Development
Sort
View
AAAI
1998
15 years 7 months ago
The Interactive Museum Tour-Guide Robot
This paper describes the software architecture of an autonomous tour-guide/tutor robot. This robot was recently deployed in the "Deutsches Museum Bonn," were it guided h...
Wolfram Burgard, Armin B. Cremers, Dieter Fox, Dir...
TOSEM
2008
168views more  TOSEM 2008»
15 years 6 months ago
Developing and debugging algebraic specifications for Java classes
Modern programs make extensive use of reusable software libraries. For example, a study of a number of large Java applications shows that between 17% and 30% of the classes in tho...
Johannes Henkel, Christoph Reichenbach, Amer Diwan
IEAAIE
2005
Springer
15 years 11 months ago
A Specification Language for Organisational Performance Indicators
A specification language for performance indicators and their relations and requirements is presented and illustrated for a case study in logistics. The language can be used in dif...
Viara Popova, Jan Treur
ECOOP
2007
Springer
15 years 10 months ago
Model-driven Software Refactoring
In this chapter, we explore the emerging research domain of modeldriven software refactoring. Program refactoring is a proven technique that aims at improving the quality of sourc...
Tom Mens, Gabriele Taentzer
FOSSACS
2005
Springer
15 years 12 months ago
Bridging Language-Based and Process Calculi Security
Language-based and process calculi-based information security are well developed fields of computer security. Although these fields have much in common, it is somewhat surprising...
Riccardo Focardi, Sabina Rossi, Andrei Sabelfeld