Sciweavers

2944 search results - page 354 / 589
» On Well Quasi-orders on Languages
Sort
View
AIMS
2009
Springer
16 years 1 months ago
NETCONF Interoperability Testing
The IETF has developed a network configuration management protocol called NETCONF which was published as proposed standard in 2006. The NETCONF protocol provides mechanisms to in...
Ha Manh Tran, Iyad Tumar, Jürgen Schönw&...
ESWS
2009
Springer
16 years 1 months ago
Representing, Querying and Transforming Social Networks with RDF/SPARQL
As social networks are becoming ubiquitous on the Web, the Semantic Web goals indicate that it is critical to have a standard model allowing exchange, interoperability, transformat...
Mauro San Martín, Claudio Gutierrez
IFIP
2009
Springer
16 years 1 months ago
HMM-Based Trust Model
Probabilistic trust has been adopted as an approach to taking security sensitive decisions in modern global computing environments. Existing probabilistic trust frameworks either a...
Ehab ElSalamouny, Vladimiro Sassone, Mogens Nielse...
RULEML
2009
Springer
16 years 1 months ago
Process Materialization Using Templates and Rules to Design Flexible Process Models
The main idea in this paper is to show how flexible processes can be designed by combining generic process templates and business rules. We instantiate a process by applying rules ...
Akhil Kumar, Wen Yao
CODES
2008
IEEE
16 years 1 months ago
You can catch more bugs with transaction level honey
In this special session we explore holistic approaches to hardware/software debug that use or integrate transaction level models (TLMs). We present several TLM-based approaches to...
Miron Abramovici, Kees Goossens, Bart Vermeulen, J...