Sciweavers

2588 search results - page 365 / 518
» Engineering Systems Which Generate Emergent Functionalities
Sort
View
FSTTCS
2007
Springer
15 years 10 months ago
Automata and Logics for Timed Message Sequence Charts
Abstract. We provide a framework for distributed systems that impose timing constraints on their executions. We propose a timed model of communicating finite-state machines, which...
S. Akshay, Benedikt Bollig, Paul Gastin
ESCIENCE
2006
IEEE
15 years 10 months ago
FAME: Adding Multi-Level Authentication to Shibboleth
The paper describes the design of FAME (Flexible Access Middleware Extension) architecture aimed at providing multi-level user authentication service for Shibboleth, which is endo...
Aleksandra Nenadic, Ning Zhang, Jay Chin, Carole A...
DGO
2003
106views Education» more  DGO 2003»
15 years 5 months ago
A Framework for Regulation Comparison with Application to Accessibility Codes
An objective of this research is to develop a framework for regulation management as well as for comparing regulations from multiple sources. An online repository for regulatory d...
Gloria T. Lau, Kincho H. Law, Gio Wiederhold
IVC
2008
93views more  IVC 2008»
15 years 4 months ago
A blind source separation-based method for multiple images encryption
Blind source separation (BSS) has been successfully applied to many fields such as communications and biomedical engineering. Its application for image encryption, however, remain...
Qiu-Hua Lin, Fuliang Yin, Tiemin Mei, Hualou Liang
IPL
2007
99views more  IPL 2007»
15 years 4 months ago
Substitutions into propositional tautologies
We prove that there is a polynomial time substitution (y1, . . . , yn) := g(x1, . . . , xk) with k << n such that whenever the substitution instance A(g(x1, . . . , xk)) of ...
Jan Krajícek