2841 search results - page 206 / 569 » A Call to Order |
195
click to vote
IJFCS
2006
15 years 7 months ago
2006
This paper studies conflicts from a process-algebraic point of view and shows how they are related to the testing theory of fair testing. Conflicts have been introduced in the con...
173
click to vote
IJNSEC
2006
15 years 7 months ago
2006
This paper studies the security against differential/linear cryptanalysis and the pseudorandomness for a class of generalized Feistel scheme with SP round function called GFSP. We ...
230
click to vote
JAIR
2008
15 years 7 months ago
2008
This paper presents the computational logic foundations of a model of agency called the KGP (Knowledge, Goals and Plan) model. This model allows the specification of heterogeneous...
197
click to vote
JCP
2008
15 years 7 months ago
2008
Embedded systems have an ever-increasing need for optimizing compilers to produce high quality codes with a limited general purpose register set. Either memory or registers are use...
193
click to vote
ISEM
2006
15 years 7 months ago
2006
Workflow management systems (WfMS) based on agent technology can cope with the rapidly evolving business environment better than most other systems as they are more flexible and op...