5863 search results - page 948 / 1173 » On Model-Checking of P Systems |
137
click to vote
AGENTS
2000
Springer
15 years 11 months ago
2000
Springer
1 In the last few years, the electronic marketplace has witnessed an exponential growth in worth and size, and projections are for this trend to intensify in coming years. Yet, th...
178
click to vote
SIGMETRICS
1999
ACM
15 years 11 months ago
1999
ACM
This paper examines NFS sensitivity to performance characteristics of emerging networks. We adopt an unusual method of inserting controlled delays into live systems to measure sen...
152
click to vote
VRST
1999
ACM
15 years 11 months ago
1999
ACM
Inhabited Television takes traditional broadcast television and combines it with multiuser virtual reality, to give new possibilities for interaction and participation in and arou...
160
click to vote
ATAL
1999
Springer
15 years 11 months ago
1999
Springer
In the RETSINA multi-agent system, each agent is provided with an internal planning component—the RETSINA planner. Each agent, using its internal planner, formulates detailed pla...
164
click to vote
LCPC
1999
Springer
15 years 10 months ago
1999
Springer
Poor performance on numerical codes has slowed the adoption of Java within the technical computing community. In this paper we describe a prototype array library and a research pr...