2607 search results - page 284 / 522 » On the Architecture of System Verification Environments |
158
click to vote
CSCW
1996
ACM
15 years 10 months ago
1996
ACM
Many collaborative and communicative environments use notions of "space" and spatial organisation to facilitate and structure interaction. We argue that a focus on spati...
155
click to vote
FLAIRS
2006
15 years 8 months ago
2006
1 In the classic educational context, observing and identifying learner's emotional response allow the teacher to adapt the lesson, with the aim of improving the quality of th...
220
click to vote
CACM
2005
15 years 6 months ago
2005
This paper presents a set of architectures for the composition of ubiquitous computing applications. It describes research that is being carried out in "extrovert-Gadgets&quo...
187
click to vote
CONCURRENCY
2002
15 years 6 months ago
2002
The implementation of multiple Grid computing portals has led us to develop a methodology for Grid portal development that facilitates rapid prototyping and building of portals. B...
183
click to vote
VLSID
2006
IEEE
16 years 20 days ago
2006
IEEE
This paper presents Frame Based Fair Multiprocessor Scheduler (FBFMS) which provides accurate real-time proportional fair scheduling for a set of dynamic tasks on a symmetric mult...