Sciweavers

7429 search results - page 606 / 1486
» Embedded System Update
Sort
View
ACSD
2006
IEEE
90views Hardware» more  ACSD 2006»
15 years 11 months ago
Simulation and Verification of Asynchronous Systems by means of a Synchronous Model
Synchrony and asynchrony are commonly opposed to each other. Now, in embedded applications, actual solutions are often situated in between, with synchronous processes composed in ...
Nicolas Halbwachs, Louis Mandel
CAISE
2008
Springer
15 years 9 months ago
Modelling, Simulation, and Performance Analysis of Business Processes Involving Ubiquitous Systems
A recent trend in Ubiquitous Computing is that embedded software (e.g. in production machines, wired or wireless networked sensors and actuators, or RFID readers) directly offers W...
Patrik Spieß, Dinh Khoa Nguyen, Ingo Weber, ...
AIL
2005
90views more  AIL 2005»
15 years 7 months ago
Towards a multi-agent system for regulated information exchange in crime investigations
This paper outlines a multi-agent architecture for regulated information exchange of crime investigation data between police forces. Interactions between police officers about info...
Pieter Dijkstra, Floris Bex, Henry Prakken, Kees d...
CSCW
2002
ACM
15 years 7 months ago
Activity Theory and System Design: A View from the Trenches
An activity theory model and a mediating artifacts hierarchy were employed to help identify the needs for tools for customer support engineers who documented solutions to customer...
Patricia Collins, Shilpa Shukla, David F. Redmiles
JCAL
2002
72views more  JCAL 2002»
15 years 6 months ago
The effect of questioning on concept learning within a hypertext system
Two studies report upon the effect of asking learners to answer questions when learning in a hypertext environment, even when no immediate feedback is given to learners about the a...
P. A. Howard-Jones, R. J. Martin