2685 search results - page 365 / 537 » A Formal Semantics for SPKI |
146
click to vote
SAS
2007
Springer
16 years 19 days ago
2007
Springer
In static analysis, the semantics of the program is expressed as a set ions. The equations are solved iteratively over some abstract domain. If ract domain is distributive and sati...
186
click to vote
SEMWEB
2007
Springer
16 years 19 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...
171
click to vote
EDOC
2006
IEEE
16 years 18 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...
167
click to vote
MEMOCODE
2006
IEEE
16 years 16 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...
176
click to vote
ACOM
2006
Springer
16 years 15 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...