Sciweavers

984 search results - page 113 / 197
» ideas 2006
Sort
View
CIMCA
2006
IEEE
14 years 4 months ago
Timed-MPSG: A Formal Model for Real-Time Shop Floor Controller
The MPSG (Message-based Part State Graph) model has been developed for the execution portion of shop-floor controllers that operate in a distributed and hierarchical control envir...
Devinder Thapa, Jaeil Park, Gi-Nam Wang, Dongmin S...
ENTCS
2006
135views more  ENTCS 2006»
13 years 10 months ago
Coordination Models Based on a Formal Model of Distributed Object Reflection
We propose a family of models of coordination of distributed object systems representing different views, with refinement relations between the different views. We start with dist...
Carolyn L. Talcott
ACNS
2006
Springer
86views Cryptology» more  ACNS 2006»
14 years 4 months ago
W3Bcrypt: Encryption as a Stylesheet
Abstract. While web-based communications (e.g., webmail or web chatrooms) are increasingly protected by transport-layer cryptographic mechanisms, such as the SSL/TLS protocol, ther...
Angelos Stavrou, Michael E. Locasto, Angelos D. Ke...
ESA
2006
Springer
111views Algorithms» more  ESA 2006»
14 years 1 months ago
Path Hitting in Acyclic Graphs
An instance of the path hitting problem consists of two families of paths, D and H, in a common undirected graph, where each path in H is associated with a non-negative cost. We r...
Ojas Parekh, Danny Segev
CVPR
2006
IEEE
15 years 2 days ago
Multi-Resolution Patch Tensor for Facial Expression Hallucination
In this paper, we propose a sequential approach to hallucinate/synthesize high-resolution images of multiple facial expressions. We propose an idea of multi-resolution tensor for ...
Kui Jia, Shaogang Gong