Sciweavers

2346 search results - page 390 / 470
» Hierarchical State Machines
Sort
View
LICS
2007
IEEE
16 years 19 days ago
First-Order and Temporal Logics for Nested Words
Nested words are a structured model of execution paths in procedural programs, reflecting their call and return nesting structure. Finite nested words also capture the structure ...
Rajeev Alur, Marcelo Arenas, Pablo Barceló,...
NCA
2007
IEEE
16 years 19 days ago
Decoupled Quorum-Based Byzantine-Resilient Coordination in Open Distributed Systems
Open distributed systems are typically composed by an unknown number of processes running in heterogeneous hosts. Their communication often requires tolerance to temporary disconn...
Alysson Neves Bessani, Miguel Correia, Joni da Sil...
SAINT
2007
IEEE
16 years 19 days ago
Peer-to-Peer Scheduling System with Scalable Information Sharing Protocol
In traditional job scheduling systems for the Grid, a single or a few machines handle information of all computing resources and scheduling tasks. This centralized approach is not...
Norihiro Umeda, Hidemoto Nakada, Satoshi Matsuoka
SMC
2007
IEEE
143views Control Systems» more  SMC 2007»
16 years 18 days ago
Enabling gestural interaction by means of tracking dynamical systems models and assistive feedback
— The computational understanding of continuous human movement plays a significant role in diverse emergent applications in areas ranging from human computer interaction to phys...
Yon Visell, Jeremy R. Cooperstock
CAISE
2007
Springer
16 years 16 days ago
Conceptual Modeling of Privacy-Aware Web Service Protocols
Abstract. Internet users are becoming increasingly concerned about their personal information being collected and used by Web service providers. They want to ensure that it is stor...
Rachid Hamadi, Hye-Young Paik, Boualem Benatallah