Sciweavers

2775 search results - page 66 / 555
» Visualizing abstract events
Sort
View
AIPS
1996
15 years 5 months ago
Event-Based Decompositions for Reasoning about External Change in Planners
An increasing number of planners can handle uncertainty in the domain or in action outcomes. However, less work has addressed building plans when the planner's world can chan...
Jim Blythe
CASCON
2010
166views Education» more  CASCON 2010»
15 years 2 months ago
Event Exposure for Web Services: A Grey-Box Approach to Compose and Evolve Web Services
Abstract. The service-oriented architecture (SOA) is an emerging software engineering paradigm for developing distributed enterprise applications. In this paradigm, Web services ar...
Chunyang Ye, Hans-Arno Jacobsen
IFM
2010
Springer
133views Formal Methods» more  IFM 2010»
15 years 2 months ago
Towards Probabilistic Modelling in Event-B
Abstract. Event-B provides us with a powerful framework for correctby-construction system development. However, while developing dependable systems we should not only guarantee the...
Anton Tarasyuk, Elena Troubitsyna, Linas Laibinis
CDC
2008
IEEE
140views Control Systems» more  CDC 2008»
15 years 11 months ago
Event design in event-triggered feedback control systems
Abstract— This paper studies the event design in eventtriggered feedback systems with asymptotic stability. A new event-triggering scheme is presented that may postpone the occur...
Xiaofeng Wang, Michael D. Lemmon
ACNS
2005
Springer
81views Cryptology» more  ACNS 2005»
15 years 10 months ago
Searching for High-Value Rare Events with Uncheatable Grid Computing
Abstract. High-value rare-event searching is arguably the most natural application of grid computing, where computational tasks are distributed to a large collection of clients (wh...
Wenliang Du, Michael T. Goodrich