5344 search results - page 223 / 1069 » Privacy-Preserving Set Operations |
166
click to vote
CAISE
2005
Springer
16 years 1 days ago
2005
Springer
We introduce a Semantic Web-based competence manager system called Competence Manager, which allows managing employee competencies and other relevant resources about a set of topic...
124
click to vote
BIRTHDAY
2004
Springer
15 years 12 months ago
2004
Springer
A family of mathematical models of nondeterministic data flow is introduced. These models are constructed out of sets of traces, successes, failures and divergences, cf. Hoare’s...
139
click to vote
DIAGRAMS
2004
Springer
15 years 12 months ago
2004
Springer
A scalechart is a set of statecharts, operating in a dense time domain, whose behavior is self-similar at different scales. The simplicity of extracting proofs of behavior from sc...
156
click to vote
SAINT
2003
IEEE
15 years 11 months ago
2003
IEEE
To cope with the various problems arising from Internet protocol such as scarcity of IP addresses in the Internet and increase in the number of paths, research and development has...
187
click to vote
ICALP
2003
Springer
15 years 11 months ago
2003
Springer
We study the behavioural theory of Cardelli and Gordon’s Mobile Ambients. We give an lts based operational semantics, and a labelled bisimulation based equivalence that coincide...