1559 search results - page 255 / 312 » Some Group Theory Problems |
ATAL
2003
Springer
15 years 1 months ago
2003
Springer
This paper addresses the problem of protecting the data carried by mobile agents from the possible attacks of malicious execution hosts. Specifically, we consider protection mecha...
ICSE
1997
IEEE-ACM
15 years 1 months ago
1997
IEEE-ACM
Formal specification methods are not often applied in industrial projects, despite their advantages and the maturity of theories and tools. The scarce familiarity of practitioners...
ATAL
2008
Springer
14 years 11 months ago
2008
Springer
Some natural epistemic properties which may arise in applications can only be expressed in standard epistemic logic by formulae which are exponentially long in the number of agent...
CDC
2008
IEEE
14 years 11 months ago
2008
IEEE
Abstract-- The aim of this paper is to address left invertibility for dynamical systems with inputs and outputs in discrete sets. We study systems that evolve in discrete time with...
CANDC
2005
ACM
14 years 11 months ago
2005
ACM
Ambience and immersive technological environments allow us to explore some basics of human pragmatics that lie beyond linguistics, intentionality and the subject-agency perspectiv...