15253 search results - page 2497 / 3051 » Integer-Programming Software Systems |
213
click to vote
AMI
2008
Springer
15 years 8 months ago
2008
Springer
The challenging context of Ambient Assisted Living (AAL) demands for a service-oriented technological shift in the field of ubiquitous computing. Recently, novel paradigms have be...
158
click to vote
ATAL
2010
Springer
15 years 8 months ago
2010
Springer
We present a simulator to compare different approaches to organisation-centred MAS adaptation in a peer-to-peer (P2P) scenario. In particular, we describe our approach to MAS adap...
180
click to vote
ECAI
2010
Springer
15 years 8 months ago
2010
Springer
We describe here a framework dedicated to studies and experimentations upon the nature of the relationships between the rational reasoning process of an artificial agent and its ps...
197
click to vote
ESORICS
2010
Springer
15 years 8 months ago
2010
Springer
We present a formal, symbolic definition of election verifiability for electronic voting protocols in the context of the applied pi calculus. Our definition is given in terms of bo...
141
click to vote
BIRTHDAY
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. The error-prone process of formal specification and verification of large systems requires an efficient, evolutionary formal development approach. Development graphs have...