4666 search results - page 808 / 934 » Equations on Timed Languages |
129
Voted
ATAL
2008
Springer
15 years 6 months ago
2008
Springer
In order to prevent misunderstandings within groups of interacting agents, it is necessary to ensure that the agents' beliefs regarding the overall state of the interaction a...
158
click to vote
DEXAW
2005
IEEE
15 years 5 months ago
2005
IEEE
Data mining applications are typically used in the decision making process. The Knowledge Discovery Process (KDD process for short) is a typical iterative process, in which not on...
137
click to vote
ECLIPSE
2005
ACM
15 years 5 months ago
2005
ACM
The heterogeneity and dynamism of today’s software systems make it difficult to assess the performance, correctness, or security of a system outside the actual time and context ...
142
click to vote
CP
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper studies how to verify the conformity of a program with its specification and proposes a novel constraint-programming framework for bounded program verification...
125
click to vote
DCOSS
2008
Springer
15 years 5 months ago
2008
Springer
Sensor networks can be viewed as large distributed databases, and SQL-like high-level declarative languages can be used for data and information retrieval. Energy constraints make ...