1615 search results - page 102 / 323 » Computer science and decision theory |
FOCS
1989
IEEE
15 years 4 months ago
1989
IEEE
We introduce a temporal logic for the speci cation of real-time systems. Our logic, TPTL, employs a novel quanti er construct for referencing time: the freeze quanti er binds a var...
138
click to vote
SCCC
2008
IEEE
15 years 7 months ago
2008
IEEE
Domain-Specific Languages (DSLs) are high level languages defined for combining expressivity and simplicity by means of constructs which are close to the problem domain and distan...
140
click to vote
SCP
1998
15 years 7 days ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
114
Voted
LICS
1998
IEEE
15 years 4 months ago
1998
IEEE
Hierarchies (Extended Abstract) Jan Johannsen Chris Pollett Department of Mathematics Department of Computer Science University of California, San Diego Boston University La Jolla,...
ERSHOV
1999
Springer
15 years 4 months ago
1999
Springer
A semi-visual framework for the speci cation of syntax and semantics of imperative programming languages, called Montages, was proposed in an earlier work by the authors. The prima...