Sciweavers

3016 search results - page 123 / 604
» Biochemically-Inspired Emergent Computation
Sort
View
JUCS
2008
144views more  JUCS 2008»
15 years 4 months ago
Applications of Mash-ups for a Digital Journal
: The WWW is currently experiencing a revolutionary growth due to numerous emerging tools, techniques and concepts. Digital journals thus need to transform themselves to cope with ...
Muhammad Salman Khan, Narayanan Kulathuramaiyer, H...
134
Voted
RTCSA
2009
IEEE
15 years 11 months ago
Towards Real Multi-criticality Scheduling
—Componentised systems, in particular those with fault confinement through address spaces, are currently emerging as a hot topic in embedded systems research. This paper extends...
Stefan M. Petters, Martin Lawitzky, Ryan Heffernan...
TIME
2007
IEEE
15 years 11 months ago
Automated Natural Deduction for Propositional Linear-Time Temporal Logic
We present a proof searching technique for the natural deduction calculus for the propositional linear-time temporal logic and prove its correctness. This opens the prospect to ap...
Alexander Bolotov, Oleg Grigoriev, Vasilyi Shangin
ACMACE
2004
ACM
15 years 10 months ago
Mobile sound communities
: This paper describes a research project aimed at developing authoring tools for the collaborative creation of soundscapes and an associated system for the storage and playback of...
William Carter, Scott S. Fisher
131
Voted
DSRT
2009
IEEE
15 years 8 months ago
Effect of Proactive Braking on Traffic Flow and Road Throughput
Abstract--With the emergence of pervasive computing technologies into vehicles, driving has moved from an active task of steering towards an interaction or adaptation task with res...
Andreas Riener, Alois Ferscha