2763 search results - page 71 / 553 » The Dangerous 'All' in Specifications |
AAAI
2008
13 years 11 months ago
2008
Temporal logics are widely used in specifying goals of agents. We noticed that when directing agents, humans often revise their requirements for the agent, especially as they gath...
CDC
2008
IEEE
13 years 11 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...
LREC
2010
13 years 10 months ago
2010
Blog posts containing many personal experiences or perspectives toward specific subjects are useful. Blogs allow readers to interact with bloggers by placing comments on specific ...
FMOODS
2006
13 years 10 months ago
2006
Nondeterminism in specifications may be used for at least two different purposes. One is to express underspecification, which means that the specifier for the same environment beha...
ECSCW
2001
13 years 10 months ago
2001
Current application-sharing systems support a single architecture for all collaborations, though different systems support different architectures We have developed a system that s...