4126 search results - page 65 / 826 » Relationships with other Formalisms |
197
click to vote
MEMOCODE
2003
IEEE
15 years 11 months ago
2003
IEEE
An executable computational logic can provide the desired bridge between formal system properties and formal methods to verify them on the one hand, and executable models of syste...
145
click to vote
KCAP
2009
ACM
16 years 20 days ago
2009
ACM
Ontologies are conceptual models of particular domains, and domains can be modeled differently, representing different opinions, beliefs or perspectives. In other terms, ontolog...
188
click to vote
VLSID
2008
IEEE
16 years 6 months ago
2008
IEEE
This paper demonstrates a formal verificationplanning process and presents associated verification strategy that we believe is an essential (yet often neglected) step in an ASIC o...
183
click to vote
REST
2010
ACM
15 years 8 months ago
2010
ACM
In this article a formal model applying REST architectural principles to the description of semantic web services is introduced, including the discussion of its syntax and operati...
164
click to vote
IJCAI
2003
15 years 7 months ago
2003
Planning has traditionally focused on single agent systems. Although planning domain languages have been extended to multiagent domains, solution concepts have not. Previous solut...