572 search results - page 81 / 115 » Formal Properties of Metrical Structure |
ENTCS
2007
13 years 10 months ago
2007
The application scenarios envisioned for ‘global ubiquitous computing’ have unique requirements that are often incompatible with traditional security paradigms. One alternativ...
ATAL
2005
Springer
14 years 3 months ago
2005
Springer
This paper addresses the notion of declarative goals as used in agent programming. Declarative goals describe desirable states, and semantics of these goals in an agent programmin...
SAS
2004
Springer
14 years 3 months ago
2004
Springer
Role logic is a notation for describing properties of relational structures in shape analysis, databases and knowledge bases. A natural fragment of role logic corresponds to two-va...
ENTCS
2008
13 years 10 months ago
2008
Several recent research efforts have focused on the dynamic aspects of software architectures providing suitable models and techniques for handling the run-time modification of th...
FORMATS
2006
Springer
14 years 1 months ago
2006
Springer
We consider interval measurement logic IML, a sublogic of Zhou and Hansen's interval logic, with measurement functions which provide real-valued measurement of some aspect of ...