1027 search results - page 85 / 206 » Representing and Reasoning with Operational Semantics |
126
Voted
ATVA
2011
Springer
14 years 23 days ago
2011
Springer
Abstract. In the traditional Boolean setting of formal verification, alternating automata are the key to many algorithms and tools. In this setting, the correspondence between dis...
USENIX
1993
15 years 2 months ago
1993
Discovering different types of file resources (such as documentation, programs, and images) in the vast amount of data contained within network file systems is useful for both u...
118
click to vote
GI
2007
Springer
15 years 7 months ago
2007
Springer
: Utility companies worldwide are facing a multitude of new challenges, which can not be met with the historically grown, monolithic IT systems currently in use. Service oriented a...
WEBDB
2005
Springer
15 years 6 months ago
2005
Springer
Semantic mapping is one of the important components underlying the data sharing systems. As is known, constructing and maintaining such mappings both are necessary yet extremely h...
83
Voted
FOIS
2006
15 years 2 months ago
2006
The focus of this paper are actions in which agents employ instruments in order to achieve desired outcomes. I explore the ontological structure of such actions and the semantic fe...