Sciweavers

7139 search results - page 1188 / 1428
» Language Engineering in Practice
Sort
View
CCS
2010
ACM
16 years 26 days ago
A lattice-based approach to mashup security
A web mashup is a web application that integrates content from different providers to create a new service, not offered by the content providers. As mashups grow in popularity, ...
Jonas Magazinius, Aslan Askarov, Andrei Sabelfeld
ICFCA
2009
Springer
16 years 24 days ago
Yet a Faster Algorithm for Building the Hasse Diagram of a Concept Lattice
Formal concept analysis (FCA) is increasingly applied to data mining problems, essentially as a formal framework for mining reduced representations (bases) of target pattern famili...
Jaume Baixeries, Laszlo Szathmary, Petko Valtchev,...
ICFCA
2009
Springer
16 years 24 days ago
The Advent of Formal Diagrammatic Reasoning Systems
In knowledge representation and reasoning systems, diagrams have many practical applications and are used in numerous settings. Indeed, it is widely accepted that diagrams are a va...
Frithjof Dau
ICAS
2009
IEEE
142views Robotics» more  ICAS 2009»
16 years 23 days ago
Semantic Approach to Dynamic Coordination in Autonomous Systems
In open systems where the components, i.e. the agents and the resources, may be unknown at design time, or in dynamic and self-organizing systems evolving with time, there is a ne...
Artem Katasonov, Vagan Y. Terziyan
ICC
2009
IEEE
118views Communications» more  ICC 2009»
16 years 23 days 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...
« Prev « First page 1188 / 1428 Last » Next »