Sciweavers

2775 search results - page 259 / 555
» Visualizing abstract events
Sort
View
ICCS
2005
Springer
16 years 4 days ago
Towards Dynamically Adaptive Weather Analysis and Forecasting in LEAD
Abstract. LEAD is a large-scale effort to build a service-oriented infrastructure that allows atmospheric science researchers to dynamically and adaptively respond to weather patt...
Beth Plale, Dennis Gannon, Daniel A. Reed, Sara J....
EVOW
2004
Springer
16 years 20 hour ago
Swarm Granulator
Abstract. This paper describes a Swarm Granulator, a new application of particle swarms to sound synthesis. Granulation, an established technique in sound synthesis, depends on man...
Tim Blackwell, Michael Young
ICTAC
2004
Springer
16 years 8 hour ago
Real Time Reactive Programming in Lucid Enriched with Contexts
Abstract. We present a synchronous approach to real-time reactive programming in Lucid enriched with contexts as first class objects. The declarative intensional approach allows r...
Kaiyu Wan, Vasu S. Alagar, Joey Paquet
COOPIS
2003
IEEE
15 years 12 months ago
A Distributed Rule Mechanism for Multidatabase Systems
Abstract. We describe a mechanism based on distributed Event-ConditionAction (ECA) rules that supports data coordination in a multidatabase setting. The proposed mechanism includes...
Vasiliki Kantere, John Mylopoulos, Iluju Kiringa
FORMATS
2003
Springer
15 years 12 months ago
Formal Semantics of Hybrid Chi
Abstract. The verification formalism / modeling and simulation language hybrid Chi is defined. The semantics of hybrid Chi is formally specified using Structured Operational Sem...
Ramon R. H. Schiffelers, D. A. van Beek, Ka L. Man...