Sciweavers

451 search results - page 70 / 91
» Relationless Completeness and Separations
Sort
View
TOPNOC
2010
14 years 4 months ago
On-the-Fly Auditing of Business Processes
Information systems supporting business process are mostly very complex. If we have to ensure that certain business rules are enforced in a business process, it is often easier to ...
Kees M. van Hee, Jan Hidders, Geert-Jan Houben, Ja...
RTAS
2011
IEEE
14 years 1 months ago
Virtual-CPU Scheduling in the Quest Operating System
This paper describes the scheduling framework for a new operating system called “Quest”. The three main goals of Quest are to ensure safety, predictability and efficiency of ...
Matthew Danish, Ye Li, Richard West
IOR
2011
96views more  IOR 2011»
14 years 1 months ago
An Ascending Vickrey Auction for Selling Bases of a Matroid
Consider selling bundles of indivisible goods to buyers with concave utilities that are additively separable in money and goods. We propose an ascending auction for the case when ...
Sushil Bikhchandani, Sven de Vries, James Schummer...
JOCN
2011
85views more  JOCN 2011»
14 years 16 days ago
Cardiorespiratory Fitness and the Flexible Modulation of Cognitive Control in Preadolescent Children
■ The influence of cardiorespiratory fitness on the modulation of cognitive control was assessed in preadolescent children separated into higher- and lower-fit groups. Participa...
Matthew B. Pontifex, Lauren B. Raine, Christopher ...
235
Voted
OIR
2011
401views Neural Networks» more  OIR 2011»
14 years 15 days ago
Using Online Collaborative Tools for Groups to Co-Construct Knowledge
(limit 250 words) Purpose This paper reports and describes the use of MediaWiki and Google Docs at undergraduate level as online collaboration tools for co-constructing knowledge i...
Sam Kai Wah Chu, David M. Kennedy