Sciweavers

3819 search results - page 361 / 764
» Simple Easy Terms
Sort
View
IFIP
2005
Springer
16 years 11 days 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é...
193
Voted
ISMIS
2005
Springer
16 years 11 days 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
175
Voted
NIME
2005
Springer
134views Music» more  NIME 2005»
16 years 10 days 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 10 days 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 10 days 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,...