713 search results - page 61 / 143 » Syntax and Semantics of Babel-17 |
138
Voted
JUCS
2006
15 years 3 months ago
2006
: In this paper we describe a technique for monitoring and checking temporal logic assertions augmented with real-time and time-series constraints, or Metric Temporal Logic Series ...
117
click to vote
JAR
2007
15 years 3 months ago
2007
Matita is a new, document-centric, tactic-based interactive theorem prover. This paper focuses on some of the distinctive features of the user interaction with Matita, characterize...
117
Voted
FUIN
2002
15 years 3 months ago
2002
Abstract. In this paper we give a complete formalization of a new computability model of a distributed parallel type which is inspired by some basic features of living cells: trans...
124
Voted
RR
2010
Springer
15 years 2 months ago
2010
Springer
The development and use of ontologies may require users with no training in formal logic to handle complex concept descriptions. To aid such users, we propose a new visualization f...
135
Voted
DAGSTUHL
2007
15 years 5 months ago
2007
act notation, so separating the abstract syntax and semantics of the language constructs from their different concrete notations. Although the foundation constituents of the MDE a...