Sciweavers

165 search results - page 27 / 33
» Discussions on Interpretability of Fuzzy Systems using Simpl...
Sort
View
TOIS
2010
128views more  TOIS 2010»
13 years 5 months ago
Learning author-topic models from text corpora
We propose a new unsupervised learning technique for extracting information about authors and topics from large text collections. We model documents as if they were generated by a...
Michal Rosen-Zvi, Chaitanya Chemudugunta, Thomas L...
FUIN
2008
123views more  FUIN 2008»
13 years 7 months ago
Interface Automata with Complex Actions: Limiting Interleaving in Interface Automata
Abstract. Many formalisms use interleaving to model concurrency. To describe some system behaviours appropriately, we need to limit interleaving. For example, in a component-based ...
Shahram Esmaeilsabzali, Nancy A. Day, Farhad Mavad...
TOPLAS
2010
101views more  TOPLAS 2010»
13 years 5 months ago
Nomadic pict: Programming languages, communication infrastructure overlays, and semantics for mobile computation
Pict project. We define two levels of abstraction as calculi with precise semantics: a low-level Nomadic π calculus with migration and location-dependent communication, and a hig...
Peter Sewell, Pawel T. Wojciechowski, Asis Unyapot...
NDSS
2003
IEEE
14 years 19 days ago
Access Control Based on Execution History
Security is a major, frequent concern in extensible software systems such as Java Virtual Machines and the Common Language Runtime. These systems aim to enable simple, classic app...
Martín Abadi, Cédric Fournet
ASWSD
2004
Springer
14 years 24 days ago
Validation of Component and Service Federations in Automotive Software Applications
Abstract The automotive domain is one of the most promising areas for component and service technologies in the near future. Vehicles are increasingly becoming integrated systems w...
Luciano Baresi, Carlo Ghezzi