Sciweavers

1555 search results - page 222 / 311
» When the implication is not to design (technology)
Sort
View
RTAS
2006
IEEE
16 years 9 days ago
An Interface Algebra for Real-Time Components
We present an assume-guarantee interface algebra for real-time components. In our formalism a component implements a set of task sequences that share a resource. A component inter...
Thomas A. Henzinger, Slobodan Matic
WMTE
2006
IEEE
16 years 9 days ago
The Focus Problem in Mobile Learning
Mobile learning has a lot of potential for supporting learning in situations such as in a museum, at a tourist sight or when exploring biological phenomena at a riverside. There l...
Christoph Göth, Dirk Frohberg, Gerhard Schwab...
ISCC
2005
IEEE
162views Communications» more  ISCC 2005»
15 years 12 months ago
A JXTA Compliant Framework for Mobile Handheld Devices in Ad Hoc Networks
The availability of powerful personal computers and high bandwidth home connectivity is changing the way users cooperate and exchange information on the network. Peer to peer comp...
Mario Bisignano, Giuseppe Di Modica, Orazio Tomarc...
PDP
2005
IEEE
15 years 12 months ago
Memory Bandwidth Aware Scheduling for SMP Cluster Nodes
Clusters of SMPs are becoming increasingly common. However, the shared memory design of SMPs and the consequential contention between system processors for access to main memory c...
Evangelos Koukis, Nectarios Koziris
GROUP
2005
ACM
15 years 12 months ago
Timing in the art of integration: 'that's how the bastille got stormed'
This paper uses a long term ethnographic study of the design and implementation of an electronic patient records (EPR) system in a UK hospital Trust to consider issues arising in ...
David Martin, Mark Rouncefield, Jacki O'Neill, Mar...