Sciweavers

1502 search results - page 54 / 301
» Computational Realizations of Living Systems
Sort
View
139
Voted
BIRTHDAY
2005
Springer
15 years 9 months ago
Synthesis Revisited: Generating Statechart Models from Scenario-Based Requirements
Constructing a program from a specification is a long-known general and fundamental problem. Besides its theoretical interest, this question also has practical implications, since...
David Harel, Hillel Kugler, Amir Pnueli
HRI
2010
ACM
15 years 2 months ago
Interactive story creation for knowledge acquisition
Abstract--This paper proposes an agent system that semiautomatically creates stories about daily events detected by ubiquitous sensors. These stories are knowledge of inhabitants&#...
Shohei Yoshioka, Takuya Maekawa, Yasushi Hirano, S...
ICDCSW
2002
IEEE
15 years 9 months ago
Autonomous and Asynchronous Operation of Networked Appliances with Mobile Agent
This paper describes the Smart Operation of Networked Appliances (SONA) system which realizes the autonomous and asynchronous operation of networked appliances by using mobile age...
Soko Aoki, Jin Nakazawa, Hideyuki Tokuda
ISORC
2008
IEEE
15 years 10 months ago
Cyber Physical Systems: Design Challenges
Cyber-Physical Systems (CPS) are integrations of computation and physical processes. Embedded computers and networks monitor and control the physical processes, usually with feedb...
Edward A. Lee
EL
2010
172views more  EL 2010»
15 years 2 months ago
Computer literacy skills of librarians: a case study of Isfahan University libraries, Iran
We live in a computer-centric information age. The number of computers in-use including in libraries is growing rapidly. Computer literacy, which is the ability to operate a compu...
Hajar Safahieh, Asefeh Asemi