713 search results - page 61 / 143 » Syntax and Semantics of Babel-17 |
105
Voted
JUCS
2006
15 years 18 days 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 ...
94
Voted
JAR
2007
15 years 17 days 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...
FUIN
2002
15 years 13 days 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...
101
click to vote
RR
2010
Springer
14 years 11 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...
108
Voted
DAGSTUHL
2007
15 years 2 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...