Sciweavers

3819 search results - page 361 / 764
» Simple Easy Terms
Sort
View
191
Voted
IFIP
2005
Springer
16 years 1 months ago
Opacity Generalised to Transition Systems
Recently, opacity has proved to be a promising technique for describing security properties. Much of the work has been couched in terms of Petri nets. Here, we extend the notion of...
Jeremy Bryans, Maciej Koutny, Laurent Mazaré...
ISMIS
2005
Springer
16 years 1 months ago
Using Supervised Clustering to Enhance Classifiers
Abstract. This paper centers on a novel data mining technique we term supervised clustering. Unlike traditional clustering, supervised clustering is applied to classified examples ...
Christoph F. Eick, Nidal M. Zeidat
188
Voted
NIME
2005
Springer
134views Music» more  NIME 2005»
16 years 1 months ago
Echology
We present a novel way of manipulating a spatial soundscape, one that encourages collaboration and exploration. Through a table-top display surrounded by speakers and lights, part...
Meghan Deutscher, Sidney Fels, Reynald Hoskinson, ...
SAS
2005
Springer
16 years 1 months ago
Secure Information Flow as a Safety Problem
The termination insensitive secure information flow problem can be reduced to solving a safety problem via a simple program transformation. Barthe, D’Argenio, and Rezk coined th...
Tachio Terauchi, Alexander Aiken
WEBI
2005
Springer
16 years 1 months ago
IPR: Automated Interaction Process Reconciliation
Inter-organizational business processes usually require complex and time-consuming interactions between partners than simple interactions supported by WSDL. Automated reconciliati...
Zongxia Du, Jinpeng Huai, Yunhao Liu, Chunming Hu,...