11963 search results - page 229 / 2393 » A framework for linguistic modelling |
168
click to vote
FUIN
2008
15 years 6 months ago
2008
We present a formalism for the automatic verification of security protocols based on multi-agent systems semantics. We give the syntax and semantics of a temporal-epistemic securit...
150
click to vote
SWARM
2008
SPRINGER
15 years 6 months ago
2008
SPRINGER
Designing and analyzing self-organizing systems such as robotic swarms is a challenging task even though we have complete knowledge about the robot's interior. It is difficul...
181
click to vote
CSMR
2006
IEEE
16 years 20 days ago
2006
IEEE
Software-intensive systems evolve continuously under the pressure of new and changing requirements, generally leading to an increase in overall system complexity. In this respect,...
170
click to vote
ADC
2000
Springer
15 years 11 months ago
2000
Springer
Advanced object-oriented applications require the management of schema versions, in order to cope with changes in the structure of the stored data. Two types of versioning have be...
187
click to vote
JETAI
2010
15 years 5 months ago
2010
Real-life problems present several kinds of preferences. We focus on problems with both positive and negative preferences, that we call bipolar preference problems. Although seemi...