7124 search results - page 1057 / 1425 » Programming Languages and Operating Systems |
101
click to vote
FOSSACS
2005
Springer
15 years 10 months ago
2005
Springer
Structural congruences have been used to define the semantics and to capture inherent properties of language constructs. They have been used as an addendum to transition system sp...
149
click to vote
CGI
1998
IEEE
15 years 9 months ago
1998
IEEE
This paper presents a new architecture of a database management system intended to be used together with existing graphics software. In the first place, a system with this archite...
141
click to vote
CONCUR
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. We present a reconstruction of session types in a conventional pi calculus where types are qualified as linear or unrestricted. Linearly typed communication channels are ...
129
click to vote
JSW
2008
15 years 4 months ago
2008
Usability is a multi-dimensional characteristic of a computer system. This paper focuses on usability as a measurement of interaction between the user and the system. The research ...
134
click to vote
EDOC
2006
IEEE
15 years 10 months ago
2006
IEEE
Enterprise systems are frequently built by combining a number of discrete Web services together, a process termed composition. There are a number of architectural configurations ...