Sciweavers

11325 search results - page 1845 / 2265
» Active Model Selection
Sort
View
ESORICS
2007
Springer
16 years 1 months ago
Synthesizing Secure Protocols
Abstract. We propose a general transformation that maps a cryptographic protocol that is secure in an extremely weak sense (essentially in a model where no adversary is present) in...
Véronique Cortier, Bogdan Warinschi, Eugen ...
235
Voted
FASE
2007
Springer
16 years 1 months ago
An Approach to Software Evolution Based on Semantic Change
The analysis of the evolution of software systems is a useful source of information for a variety of activities, such as reverse engineering, maintenance, and predicting the future...
Romain Robbes, Michele Lanza, Mircea Lungu
ICADL
2007
Springer
144views Education» more  ICADL 2007»
16 years 1 months ago
Automatic Text Summarization in Engineering Information Management
In today’s knowledge-intensive engineering environment, information management is an important and essential activity. However, existing researches of Engineering Information Man...
Jiaming Zhan, Han Tong Loh, Ying Liu, Aixin Sun
IFIP
2007
Springer
16 years 1 months ago
Global Supply Chain Control
The operation of global manufacturing network is challenging due to the complexity in product and information flow, diversity in sites, localization and processes and the informati...
Heidi C. Dreyer, Ottar Bakås, Erlend Alfnes,...
ISI
2007
Springer
16 years 1 months ago
Visualization of Events in a Spatially and Multimedia Enriched Virtual Environment
—Semantic Event Tracker (SET) is a highly interactive visualization tool for tracking and associating activities (events) in a spatially and Multimedia Enriched Virtual Environme...
Leonidas Deligiannidis, Farshad Hakimpour, Amit P....
« Prev « First page 1845 / 2265 Last » Next »