4636 search results - page 620 / 928 » Modelling and Validation with VipTool |
222
click to vote
PRDC
2005
IEEE
16 years 11 days ago
2005
IEEE
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...
185
click to vote
ASM
2005
ASM
16 years 10 days ago
2005
ASM
State machines are considered a very general means of expressing computations in an implementation-independent way. There are also ways to extend the general state machine framewor...
199
click to vote
ATAL
2005
Springer
16 years 10 days ago
2005
Springer
We present an integrated approach for reasoning about and learning conversation patterns in multiagent communication. The approach is based on the assumption that information abou...
194
click to vote
DCOSS
2005
Springer
16 years 10 days ago
2005
Springer
In surveillance and tracking applications, wireless sensor nodes collectively monitor the existence of intruding targets. In this paper, we derive closed form results for predicti...
197
click to vote
ECSQARU
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...