6794 search results - page 304 / 1359 » Semantics of Visual Languages |
89
Voted
ESOP
2004
Springer
15 years 6 months ago
2004
Springer
A transaction defines a locus of computation that satisfies important concurrency and failure properties; these so-called ACID properties provide strong serialization guarantees ...
76
Voted
HICSS
1999
IEEE
15 years 5 months ago
1999
IEEE
What EDI needs is a good semantics, that is, a workable formal theory of what EDI messages mean. As is widely recognized, the point applies to electronic commerce and to communica...
121
click to vote
ICALP
1998
Springer
15 years 5 months ago
1998
Springer
This paper investigates the use of a complete metric space framework for providing denotational semantics to a real-time process algebra. The study is carried out in a non-interlea...
82
Voted
ACL
2010
14 years 11 months ago
2010
The analysis of reading times can provide insights into the processes that underlie language comprehension, with longer reading times indicating greater cognitive load. There is e...
133
click to vote
POPL
2012
ACM
13 years 8 months ago
2012
ACM
We present a formal operational semantics and its Coq mechanization for the C++ object model, featuring object construction and destruction, shared and repeated multiple inheritan...