1525 search results - page 265 / 305 » Formal Models for Communication-Based Design |
99
Voted
TCC
2005
Springer
15 years 6 months ago
2005
Springer
Definition of security under the framework of Environmental Security (a.k.a Network-Aware Security or Universally Composable Security) typically requires “extractability” of t...
95
Voted
PROMAS
2004
Springer
15 years 6 months ago
2004
Springer
In this paper, we propose a framework for modelling agent organizations, Omni, that allows the balance of global organizational requirements with the autonomy of individual agents....
105
Voted
SPATIALCOGNITION
2004
Springer
15 years 6 months ago
2004
Springer
Establishing a clean relationship between a robot’s spatial model and natural language components is a non-trivial task, but is key to designing verbally controlled, navigating s...
SSD
2001
Springer
15 years 5 months ago
2001
Springer
The notion of time granularity comes into play in a variety of problems involving time representation and management in database applications, including temporal database design, t...
105
Voted
COSIT
1999
Springer
15 years 4 months ago
1999
Springer
The project CommonGIS1 aims at building a system allowing users to view and analyze geographically referenced thematic data. The system is oriented to the general public, i.e. peop...