Sciweavers

46084 search results - page 103 / 9217
» Developments in WIS development
Sort
View
IEAAIE
2004
Springer
15 years 11 months ago
Development of an Android Robot for Studying Human-Robot Interaction
Abstract. Behavior or Appearance? This is fundamental problem in robot development. Namely, not only the behavior but also the appearance of a robot influences human-robot interact...
Takashi Minato, Michihiro Shimada, Hiroshi Ishigur...
XPU
2004
Springer
15 years 11 months ago
Towards a Proper Integration of Large Refactorings in Agile Software Development
Refactoring is a key element of many agile software development methods. While most developers associate small design changes with the term refactoring (as described by Martin Fowl...
Martin Lippert
FM
2003
Springer
96views Formal Methods» more  FM 2003»
15 years 11 months ago
Event Based Sequential Program Development: Application to Constructing a Pointer Program
In this article, I present an “event approach” used to formally develop sequential programs. It is based on the formalism of Action Systems [6] (and Guarded Commands[7]), which...
Jean-Raymond Abrial
FPL
1999
Springer
80views Hardware» more  FPL 1999»
15 years 10 months ago
An Internet Based Development Framework for Reconfigurable Computing
The paper presents a development framework for the Xputer prototype Map-oriented Machine with Parallel Data Access (MoM-PDA). The MoM-PDA operates as a reconfigurable accelerator t...
Reiner W. Hartenstein, Michael Herz, Ulrich Nageld...
APSEC
1998
IEEE
15 years 10 months ago
A Refinement Calculus for the Development of Real-Time Systems
We present a calculus which can transfer specifications to objects for the development of real-time systems. The object model is based on a practical OO development technique--HRT...
Zhiqiang Chen, Antonio Cau, Hussein Zedan, Xiaodon...