1763 search results - page 233 / 353 » A Formalization of Polytime Functions |
AGENTS
2000
Springer
15 years 2 months ago
2000
Springer
In an agent-based system, where different agents form dynamic associations for the purposes of collaborative processing, agents must be able to locate other agents that can provi...
ATAL
1999
Springer
15 years 2 months ago
1999
Springer
Multi-agent system research is concerned with the issues surrounding the performance of collections of interacting agents. A major concern, therefore, is with the design of the dec...
147
click to vote
ESEC
1999
Springer
15 years 2 months ago
1999
Springer
CIP is a model-based software development method for embedded systems. The problem of constructing an embedded system is decomposed into a functional and a connection problem. The ...
DBPL
2007
Springer
15 years 1 months ago
2007
Springer
Traditionally, infinite databases were studied as a data model for queries that may contain function symbols (since functions may be expressed as infinite relations). Recently, th...
CONCUR
2006
Springer
15 years 1 months ago
2006
Springer
Timed concurrent systems are widely used in concurrent and distributed real-time software, modeling of hybrid systems, design of hardware systems (using hardware description langua...