3885 search results - page 598 / 777 » Clarifying Goal Models |
142
click to vote
FROCOS
2005
Springer
15 years 12 months ago
2005
Springer
We describe results and status of a sub project of the Verisoft [1] project. While the Verisoft project aims at verification of a complete computer system starting with hardware a...
163
click to vote
GECCO
2005
Springer
15 years 12 months ago
2005
Springer
We introduce a clustering-based method of subpopulation management in genetic programming (GP) called Evolutionary Tree Genetic Programming (ETGP). The biological motivation behin...
145
click to vote
ICALP
2005
Springer
15 years 12 months ago
2005
Springer
Abstract An encryption scheme is non-malleable if the adversary cannot transform a ciphertext into one of a related message under the given public key. Although providing a very st...
175
click to vote
ICLP
2005
Springer
15 years 12 months ago
2005
Springer
The Semantic Web is a rapidly growing research area aiming at the exchange of semantic information over the World Wide Web. The Semantic Web is built on top of RDF, an XML-based ex...
150
click to vote
ICMI
2005
Springer
15 years 12 months ago
2005
Springer
This paper addresses the problem of detecting interaction groups in an intelligent environment. To understand human activity, we need to identify human actors and their interperso...