302 search results - page 23 / 61 » Science in the Palms of Their Hands |
HICSS
2008
IEEE
14 years 2 months ago
2008
IEEE
Networked constellations are often formed to provide commercial IT services by leveraging the Internet technology. The provision of IT services should remain scalable, meaning tha...
LICS
2008
IEEE
14 years 2 months ago
2008
IEEE
Variable binding is a prevalent feature of the syntax and proof theory of many logical systems. In this paper, we define a programming language that provides intrinsic support fo...
HICSS
2007
IEEE
14 years 1 months ago
2007
IEEE
The derivation of specific models from reference models corresponds with the creation of reference model variants. Research on the design of such variant constructions generally a...
HICSS
2006
IEEE
14 years 1 months ago
2006
IEEE
Unstable software requirements are common and call for Agile practices. On the other hand, quality standards and recommendations, to which companies must adhere to play in selecte...
ICRA
2002
IEEE
14 years 16 days ago
2002
IEEE
In this paper, we report about a new interactionoriented robot, which communicates with humans and will participate in human society as our partner. For realizing such a robot, we...