Sciweavers

245 search results - page 48 / 49
» Supporting User-defined Activity Spaces
Sort
View
AIPS
2008
13 years 8 months ago
Fast Dynamic Scheduling of Disjunctive Temporal Constraint Networks through Incremental Compilation
Autonomous systems operating in real-world environments must plan, schedule, and execute missions while robustly adapting to uncertainty and disturbance. One way to mitigate the e...
Julie A. Shah, Brian C. Williams
FLAIRS
2008
13 years 8 months ago
Learning a Probabilistic Model of Event Sequences from Internet Weblog Stories
One of the central problems in building broad-coverage story understanding systems is generating expectations about event sequences, i.e. predicting what happens next given some a...
Mehdi Manshadi, Reid Swanson, Andrew S. Gordon
SDL
2007
192views Hardware» more  SDL 2007»
13 years 7 months ago
OpenComRTOS: An Ultra-Small Network Centric Embedded RTOS Designed Using Formal Modeling
Abstract. OpenComRTOS is one of the few Real-Time Operating Systems (RTOS) for embedded systems that was developed using formal modeling techniques. The goal was to obtain a proven...
Eric Verhulst, Gjalt G. de Jong
CCR
2010
102views more  CCR 2010»
13 years 5 months ago
FIE: future internet enervation
I'm so Bored of the Future Internet (FI). There are so many initiatives to look at the Internet's Future1 , anyone would think that there was some tremendous threat like...
Jon Crowcroft
COMCOM
2006
121views more  COMCOM 2006»
13 years 5 months ago
Interactive Transparent Networking: Protocol meta modeling based on EFSM
the extensibility and evolution of network services and protocols had become a major research issue in recent years. The 'programmable' and 'active' network par...
Javed I. Khan, Raid Zaghal