Sciweavers

4245 search results - page 330 / 849
» Integrating Software by Integrating People
Sort
View
CHI
1998
ACM
15 years 11 months ago
National Geographic Unplugged: Classroom-Centered Design of Interactive Nature Films
Designing computer-based learning environments must account for the context in which activity occurs, the tasks that students perform, and the tools that facilitate these tasks. W...
Brian K. Smith, Brian J. Reiser
COMPSAC
1996
IEEE
15 years 11 months ago
A Logic Database System with Extended Functionality
We present the architecture and design details of a logic database system that extends functionality in a number of ways. The system supports indefinite (non-Horn) facts in extens...
Sang-goo Lee, Dong-Hoon Choi, Sang-Ho Lee
DAC
1996
ACM
15 years 11 months ago
Symphony: A Simulation Backplane for Parallel Mixed-Mode Co-Simulation of VLSI Systems
In this paper we present an integrated simulation paradigm in which parallel mixed-mode co-simulation is accomplished by integrating sequential simulators in a software simulation ...
Antonio R. W. Todesco, Teresa H. Y. Meng
ICECCS
2007
IEEE
115views Hardware» more  ICECCS 2007»
15 years 10 months ago
On-the-fly model checking for C programs with extended CADP in FMICS-jETI
A current trend in the software engineering community is to integrate different tools in a friendly and powerful development environment for use by final users. This is also the c...
María-del-Mar Gallardo, Pedro Merino, Chris...
APSEC
2006
IEEE
15 years 10 months ago
Towards a Model-driven Approach to Develop Applications based on Physical Active Objects
The increasing diffusion of ubiquitous communication infrastructures and physical active objects --like sensors and smart tags-- is motivating the integration of these devices int...
Luciano Baresi, Paolo Beretta, Roberto Fraccapani,...