Sciweavers

85 search results - page 3 / 17
» Physical world as an internet of things
Sort
View
BIRTHDAY
2007
Springer
13 years 10 months ago
Deriving Specifications for Systems That Are Connected to the Physical World
Well understood methods exist for developing programs from formal specifications. Not only do such methods offer a precise check that certain sorts of deviations from their specifi...
Cliff B. Jones, Ian J. Hayes, Michael A. Jackson
SG
2005
Springer
13 years 12 months ago
Engaging in a Conversation with Synthetic Characters Along the Virtuality Continuum
Abstract. During the last decade research groups as well as a number of commercial software developers have started to deploy embodied conversational characters in the user interfa...
Elisabeth André, Klaus Dorfmüller-Ulha...
BPSC
2010
285views Business» more  BPSC 2010»
13 years 3 months ago
Crossing the Chasm Between the Real World and Business Process Management
Abstract: While agility is a core challenge in today's competitive business, softwarebased business process modeling and execution approaches often refer to strict and inflexi...
Markus Schief, Benedikt Schmidt
UDM
2005
IEEE
13 years 12 months ago
Ubiquitous Data Management in Knowledge Sifter via Data-DNA
This paper proposes to model and represent an object’s digital persona by means of a conceptual model that uses fragments of schemata that are termed data-DNA. The object may be...
Larry Kerschberg, Hanjo Jeong
DSRT
2003
IEEE
13 years 11 months ago
Real Time Inspection of Hidden Worlds
“Smart Things” are commonly understood as wireless ad-hoc networked, mobile, autonomous, special purpose computing appliances, usually interacting with their environment impli...
Alois Ferscha, Markus Keller