33 search results - page 5 / 7 » Model Checking Knowledge and Time in Systems with Perfect Re... |
OTM
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. This article wants to address the need for a research effort and framework that studies and embraces the novel, difficult but crucial issues of adaptation of knowledge r...
TII
2008
13 years 5 months ago
2008
Abstract--Safety analysis in Systems Engineering (SE) processes, as usually implemented, rarely relies on formal methods such as model checking since such techniques, however power...
AC
2000
Springer
13 years 5 months ago
2000
Springer
nvented abstract representations of value. As time passed, representations of value became more abstract, progressing from barter through bank notes, payment orders, checks, credit...
ISOLA
2010
Springer
13 years 3 months ago
2010
Springer
Abstract. Service-oriented systems have recently emerged as context-independent component-based systems. Unlike components, services can be created, invoked, composed, and destroye...
SG
2005
Springer
13 years 11 months ago
2005
Springer
This article describes the integration of knowledge based techniques into simulative Virtual Reality (VR) applications. The approach is motivated ltimodal Virtual Construction as a...