Sciweavers

13277 search results - page 2464 / 2656
» An Approach to Clustering Abstracts
Sort
View
ECEASST
2010
15 years 2 months ago
Security Evaluation and Hardening of Free and Open Source Software (FOSS)
Abstract: Recently, Free and Open Source Software (FOSS) has emerged as an alternative to Commercial-Off-The-Shelf (COTS) software. Now, FOSS is perceived as a viable long-term sol...
Robert Charpentier, Mourad Debbabi, Dima Alhadidi,...
IFIP
2010
Springer
15 years 2 months ago
Efficient Decision Procedures for Message Deducibility and Static Equivalence
Abstract. We consider two standard notions in formal security protocol analysis: message deducibility and static equivalence under equational theories. We present polynomial-time a...
Bruno Conchinha, David A. Basin, Carlos Caleiro
IJWET
2010
86views more  IJWET 2010»
15 years 1 months ago
Semi-automatic financial events discovery based on lexico-semantic patterns
: Due to the market sensitivity to emerging news, investors on financial markets need to continuously monitor financial events when deciding on buying and selling equities. We prop...
Jethro Borsje, Frederik Hogenboom, Flavius Frasinc...
JDIM
2010
125views more  JDIM 2010»
15 years 1 months ago
Building Context-Awareness Models for Mobile Applications
ABSTRACT. The design process followed to produce traditional applications needs to be enhanced to cope with new contextaware ubiquitous application requirements. With the popularit...
Chantal Taconet, Zakia Kazi-Aoul
JUCS
2010
134views more  JUCS 2010»
15 years 1 months ago
Systematic Management of Variability in UML-based Software Product Lines
Abstract: This paper presents SMarty, a variability management approach for UMLbased software product lines (PL). SMarty is supported by a UML profile, the SMartyProfile, and a pro...
Edson Alves de Oliveira Junior, Itana Maria de Sou...
« Prev « First page 2464 / 2656 Last » Next »