python (65.2k questions)

javascript (44.3k questions)

reactjs (22.7k questions)

java (20.8k questions)

c# (17.4k questions)

html (16.3k questions)

r (13.7k questions)

android (13k questions)

Questions - temporal

Why use temporal logic for interpolation-based model checking?

I am new in model checking field. I want to know why it's preferred to use linear-time temporal logic properties in interpolation and bounded model checking. Why can't we directly use propositional lo...
test-img

atif rahman

logic

temporal

model-checking

Votes: 0

Answers: 1

Latest Answer

You can also restrict yourself to propositional logic, but then you cannot express interesting properties of your model. Propositional logic is less expressive than temporal logic. In propositional lo...
test-img

m4lvin

Java Duration Class, cannot resolve to a type

I am trying to find the difference in time between two LocalTime objects in HH:MM:SS format and my duration object is giving me the error Duration.between cannot be resolved to a type. The between des...
test-img

CoolHands

java

time

duration

localtime

temporal

Votes: 0

Answers: 1

Latest Answer

between is a static factory method of Duration class, returning a Duration object. So you don't need to create Duration object using the new keyword. Duration duration = Duration.between(firstStop, la...
test-img

Sergey Afinogenov

Can Temporal workflow handle/manage serverless workloads?

I just started looking at Temporal and it looks like a great way to orchestrate microservices. I have knative & cloudrun based microservices in my project and I would like to adapted Temporal to o...
test-img

RandomQuests

google-cloud-run

temporal

knative

temporal-workflow

knative-eventing

Votes: 0

Answers: 1

Latest Answer

It looks like all temporal code runs inside a (persistent) temporal server. That probably makes it a poor fit for an environment like Cloud Run or Knative (or AWS Lambda containers). Looking further t...
test-img

E. Anderson

Dynamic Temporal Control with both: aggregate date and time in QGIS

I have a data frame with both, dates such as 2021-01-01 and times such as 11:38:17. The frame consists of 1.000 cells. I would like to use the dynamic temporal control function to show data at a given...
test-img

Marco_V

qgis

temporal

Votes: 0

Answers: 1

Latest Answer

Use the function concat in the field calculator as follows: concat("date", "time") "date" — field with years and months; "time" — field with time. In the descr...
test-img

Valentin Kishkun

Posts

Questions

Blogs

Jobs