10707 search results - page 340 / 2142 » Designing executable abstractions |
132
click to vote
ICCS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Multi Expression Programming (MEP) is a Genetic Programming variant that uses linear chromosomes for solution encoding. A unique feature of MEP is its ability of encoding...
152
click to vote
PET
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. Although the number of online privacy policies is increasing, it remains difficult for Internet users to understand them, let alone to compare policies across sites or i...
123
click to vote
ICES
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. We present a systematic procedure for the synthesis and minimisation of digital circuits using propositional satisfiability. We encode the truth table into a canonical s...
125
click to vote
ATAL
1997
Springer
15 years 9 months ago
1997
Springer
Abstract. This paper presents a general multi-agent architecture for the management of businessprocesses,and an agent designthat has been implemented within such a system. The auto...
124
click to vote
ICSE
1994
IEEE-ACM
15 years 8 months ago
1994
IEEE-ACM
Abstract. This paper describes recent work concerned with the speci cation of requirements on interactive systems and the de nition of user-level properties of such systems. A form...