Search Sciweavers | Sciweavers

1699 search results - page 21 / 340

» A timed semantics of Orc

111

click to vote

TCS
2008

120views Theoretical Computer Science» more TCS 2008»

CPO semantics of timed interactive actor networks

15 years 6 months ago

Download www.eecs.berkeley.edu

Xiaojun Liu, Edward A. Lee

claim paper

Read More »

132

click to vote

LISP
2007

52views more LISP 2007»

Semantics and pragmatics of Real-Time Maude

15 years 6 months ago

Download www.ifi.uio.no

Peter Csaba Ölveczky, José Meseguer

claim paper

Read More »

114

click to vote

ANSOFT
1999

43views more ANSOFT 1999»

A Practical Approach to Implementing Real-Time Semantics

15 years 5 months ago

Download www.cs.odu.edu

Girish Bhat, Rance Cleaveland, Gerald Lüttgen

claim paper

Read More »

161

click to vote

IEICET
2011

225views Information Technology» more IEICET 2011»

A Time and Situation Dependent Semantics for Ontological Property Classification

15 years 1 months ago

Download www.ai.cis.iwate-u.ac.jp

Ken Kaneiwa, Riichiro Mizoguchi

claim paper

Read More »

119

click to vote

TIME
2002
IEEE

90views Automated Reasoning» more TIME 2002»

Indexed Flows in Temporal x Modal Logic with Functional Semantics

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers