Sciweavers

2644 search results - page 412 / 529
» Complex Interacting Infrastructure Systems
Sort
View
VRST
2006
ACM
14 years 1 months ago
Spatial input device structure and bimanual object manipulation in virtual environments
Complex 3D interaction tasks require the manipulation of a large number of input parameters. Spatial input devices can be constructed such that their structure reflects the task ...
Arjen van Rhijn, Jurriaan D. Mulder
ISORC
2002
IEEE
14 years 24 days ago
Reactive Objects
Object-oriented, concurrent, and event-based programming models provide a natural framework in which to express the behavior of distributed and embedded software systems. However,...
Johan Nordlander, Mark P. Jones, Magnus Carlsson, ...
BMCBI
2008
79views more  BMCBI 2008»
13 years 8 months ago
In silico docking of urokinase plasminogen activator and integrins
Background: Urokinase, its receptor and the integrins are functionally associated and involved in regulation of cell signaling, migration, adhesion and proliferation. No structura...
Bernard Degryse, Juan Fernández-Recio, Vale...
ASPLOS
2012
ACM
12 years 3 months ago
Understanding modern device drivers
Device drivers are the single largest contributor to operating-system kernel code with over 5 million lines of code in the Linux kernel, and cause significant complexity, bugs an...
Asim Kadav, Michael M. Swift
POPL
2006
ACM
14 years 8 months ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...