6554 search results - page 1016 / 1311 » Constraint Logic Programming |
197
click to vote
SPIN
2001
Springer
15 years 9 months ago
2001
Springer
p2b is a research tool that translates Promela programs to boolean representations of the automata associated with them. These representations conform to the input syntax of the wi...
143
click to vote
SAC
2000
ACM
15 years 9 months ago
2000
ACM
We describe a language providing concepts for modeling autonomous entities (agents) and cooperating entities (groups). Agents are the execution units of a GroupLog program. Each a...
128
click to vote
AGP
1999
IEEE
15 years 9 months ago
1999
IEEE
We address the problem of complementing higher-order patterns without repetitions of free variables. Differently from the first-order case, the complement of a pattern cannot, in ...
144
Voted
EUROMICRO
1999
IEEE
15 years 9 months ago
1999
IEEE
We propose an hardware solution to several security problems that are difficult to solve on classical processor architectures, like licensing, electronic commerce, or software pri...
157
click to vote
BIRTHDAY
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. This article provides an overview over two constructive approaches to provably correct hard real-time code generation where hard real-time code is generated from abstract...