2688 search results - page 363 / 538 » A formal semantics for P3P |
189
click to vote
SEMWEB
2007
Springer
16 years 20 days ago
2007
Springer
OntoDNA is an automated ontology mapping and merging system that utilizes unsupervised data mining methods, comprising of Formal Concept analysis (FCA), Self-Organizing map (SOM) a...
173
click to vote
EDOC
2006
IEEE
16 years 19 days ago
2006
IEEE
The correctness of business process models is of paramount importance for the application on an enterprise level. A severe problem is that several languages for business process m...
168
click to vote
MEMOCODE
2006
IEEE
16 years 17 days ago
2006
IEEE
Data flow models are used for specifying and analysing signal processing and streaming applications. However, traditional data flow models are either not capable of expressing t...
178
click to vote
ACOM
2006
Springer
16 years 17 days ago
2006
Springer
Interaction protocols enable agents to communicate with each other effectively. Whereas several approaches exist to specify interaction protocols, none of them has design tools th...
146
click to vote
SP
2005
IEEE
16 years 4 days ago
2005
IEEE
We present a methodology to automatically construct robust signatures whose accuracy is based on formal reasoning so it can be systematically evaluated. Our methodology is based o...