Sciweavers

2223 search results - page 405 / 445
» Events in Property Patterns
Sort
View
IGARSS
2009
14 years 11 months ago
Developing a New Automated Tool for Detecting and Monitoring Dust and Sand Storms using MODIS and Meteosat SEVIRI-MSG Data
In the last three decades, significant advances have been made in mapping and monitoring environmental changes from Earth Observation satellites across a range of spatial and temp...
Hosni Ghedira, Adnan Al Rais
JAMIA
2011
94views more  JAMIA 2011»
14 years 9 months ago
Challenges in ethics, safety, best practices, and oversight regarding HIT vendors, their customers, and patients: a report of an
The current commercial health information technology (HIT) arena encompasses a number of competing firms that provide electronic health applications to hospitals, clinical practi...
Kenneth W. Goodman, Eta S. Berner, Mark A. Dente, ...
CORR
2011
Springer
217views Education» more  CORR 2011»
14 years 5 months ago
Interactive Execution Monitoring of Agent Teams
There is an increasing need for automated support for humans monitoring the activity of distributed teams of cooperating agents, both human and machine. We characterize the domain...
Pauline Berry, Thomas J. Lee, David E. Wilkins
ICST
2011
IEEE
14 years 5 months ago
Constraint-Based Program Debugging Using Data Structure Repair
—Developers have used data structure repair over the last few decades as an effective means to recover on-the-fly from errors in program state. Traditional repair techniques wer...
Muhammad Zubair Malik, Junaid Haroon Siddiqui, Sar...
SAS
2012
Springer
208views Formal Methods» more  SAS 2012»
13 years 4 months ago
Finding Non-terminating Executions in Distributed Asynchronous Programs
Programming distributed and reactive asynchronous systems is complex due to the lack of synchronization between concurrently executing tasks, and arbitrary delay of message-based c...
Michael Emmi, Akash Lal