1463 search results - page 175 / 293 » Model Checking Implicit-Invocation Systems |
119
click to vote
TPHOL
1998
IEEE
15 years 5 months ago
1998
IEEE
Abstract. Over the last decade, the increasing demand for the validation of safety critical systems lead to the development of domain-specific programming languages (e.g. synchrono...
118
click to vote
ECAI
2008
Springer
15 years 3 months ago
2008
Springer
Recent contributions to advancing planning from the classical model to more realistic problems include using temporal logic such as LTL to express desired properties of a solution ...
FAC
2007
15 years 1 months ago
2007
Individual components in an inter-operating system require assurance from other components both of appropriate functionality and of suitable responsiveness. We have developed prope...
154
click to vote
ACOM
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper explores the use of temporal logics in the context of communication protocols for multiagent systems. We concentrate on frameworks where protocols are used to ...
111
click to vote
CAISE
2005
Springer
15 years 7 months ago
2005
Springer
Enterprise architects seek to align enterprise processes and structure with their supporting IT systems so that enterprises can flourish in their environment. The enterprise archi...