2599 search results - page 386 / 520 » An Operational Semantics for Knowledge Bases |
219
click to vote
CANS
2006
Springer
15 years 10 months ago
2006
Springer
Software watermarking is a new research area that aims at providing copyright protection for commercial software. It minimizes software piracy by hiding copyright signatures inside...
149
click to vote
ENTCS
1998
15 years 6 months ago
1998
We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli's imperative object calculus with operators for concurrency from the -calc...
288
click to vote
MM
2010
ACM
15 years 4 months ago
2010
ACM
Social tagging can provide rich semantic information for largescale retrieval in music discovery. Such collaborative intelligence, however, also generates a high degree of tags un...
171
click to vote
GI
2009
Springer
15 years 4 months ago
2009
Springer
: We explore the expressiveness of the BPMN workflow modelling language by applying it to MuCoMS, a paper submission system. This well known application domain is a suitable exampl...
188
click to vote
GECCO
2009
Springer
16 years 1 months ago
2009
Springer
Most of the software developed in the world follows the object-oriented (OO) paradigm. However, the existing work on evolutionary testing is mainly targeted to procedural language...