Sciweavers

1876 search results - page 316 / 376
» Language Networks on LiveJournal
Sort
View
HICSS
2009
IEEE
151views Biometrics» more  HICSS 2009»
15 years 6 months ago
Integrating Formal Analysis and Design to Preserve Security Properties
The use of formal methods has long been advocated in the development of secure systems. Yet, methods for deriving design from requirements that guarantee retention of the intended...
Riham Hassan, Shawn A. Bohner, Sherif El-Kassas, M...
86
Voted
CEC
2009
IEEE
15 years 5 months ago
Mobile processes, mobile channels and complex dynamic systems
— This paper explores a process-oriented approach to complex systems design, using massive fine-grained concurrency, mobile channels and mobile processes. The complex systems st...
Eric Bonnici, Peter H. Welch
ICC
2009
IEEE
118views Communications» more  ICC 2009»
15 years 5 months ago
A First Order Logic Security Verification Model for SIP
: It is well known that no security mechanism can provide full protection against a potential attack. There is always a possibility that a security incident may happen, mainly as a...
Dimitris Geneiatakis, Costas Lambrinoudakis, Georg...
WEBI
2009
Springer
15 years 5 months ago
Social Semantics and Its Evaluation by Means of Semantic Relatedness and Open Topic Models
—This paper presents an approach using social semantics for the task of topic labelling by means of Open Topic Models. Our approach utilizes a social ontology to create an alignm...
Ulli Waltinger, Alexander Mehler
75
Voted
CIKM
2009
Springer
15 years 5 months ago
Enhancing expertise retrieval using community-aware strategies
Expertise retrieval has received increased interests in recent years, whose task is to suggest people with relevant expertise. Motivated by the observation that communities could ...
Hongbo Deng, Irwin King, Michael R. Lyu