Sciweavers

2364 search results - page 287 / 473
» An Engine for Computing Well-Founded Models
Sort
View
SEMWEB
2007
Springer
16 years 17 days ago
Differences + Triple Spaces = Active Triple Spaces
As the Semantic Web (SW) is being automatically populated with large number of RDF triples scalability issues related to wide scale reasoning occur. We believe these difficulties ...
Vlad Tanasescu
WEBI
2007
Springer
16 years 17 days ago
Extending Link-based Algorithms for Similar Web Pages with Neighborhood Structure
The problem of finding similar pages to a given web page arises in many web applications such as search engine. In this paper, we focus on the link-based similarity measures whic...
Zhenjiang Lin, Michael R. Lyu, Irwin King
ISORC
2006
IEEE
16 years 14 days ago
Looking Ahead in Open Multithreaded Transactions
Open multithreaded transactions constitute building blocks that allow a developer to design and structure the execution of complex distributed systems featuring cooperative and co...
Maxime Monod, Jörg Kienzle, Alexander Romanov...
SACMAT
2006
ACM
16 years 12 days ago
Information flow property preserving transformation of UML interaction diagrams
We present an approach for secure information flow property preserving refinement and transformation of UML inspired interaction diagrams. The approach is formally underpinned b...
Fredrik Seehusen, Ketil Stølen
ICCS
2005
Springer
15 years 12 months ago
Optimization of Bandwidth Allocation in Communication Networks with Penalty Cost
In this paper, we present an analysis on optimization and risk management in Communication Networks (CNs). The model is proposed for offline traffic engineering optimization, which...
Jun Wu, Wuyi Yue, Shouyang Wang