5344 search results - page 223 / 1069 » Privacy-Preserving Set Operations |
132
Voted
CAISE
2005
Springer
15 years 9 months 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...
90
Voted
BIRTHDAY
2004
Springer
15 years 9 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...
110
Voted
DIAGRAMS
2004
Springer
15 years 9 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...
110
Voted
SAINT
2003
IEEE
15 years 9 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...
153
Voted
ICALP
2003
Springer
15 years 9 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...