1312 search results - page 189 / 263 » Embedded contract languages |
148
click to vote
PROMAS
2005
Springer
15 years 9 months ago
2005
Springer
3APL-M is a platform for building deliberative multi-agent systems whose components execute on handheld and embedded computational devices. The solution takes advantage of the 3APL...
128
click to vote
CP
2004
Springer
15 years 8 months ago
2004
Springer
In this talk we present a number of problems for network design, planning and analysis and show how they can be addressed with different hybrid CP solutions. Clearly, this problem...
114
click to vote
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
We analyze an algebraic representation of AES–128 as an embedding in BES, due to Murphy and Robshaw. We present two systems of equations S and K concerning encryption and key gen...
122
Voted
IFIP
2004
Springer
15 years 8 months ago
2004
Springer
We introduce an extension of the Parikh mapping called the Parikh ¢ -matrix mapping, which takes its values in matrices with polynomial entries. The morphism constructed represent...
130
click to vote
STEP
2003
IEEE
15 years 8 months ago
2003
IEEE
Many software applications produced today have a component, of lesser or greater importance to the structure, that is based on database management systems. What is more, this infor...