6279 search results - page 78 / 1256 » Objects as session-typed processes |
146
click to vote
LMO
1996
15 years 6 months ago
1996
We seek to support the development of open, distributed applications from patible software abstractions. In order to rigorously specify these abstractions, we are elaborating a for...
ICALT
2007
IEEE
15 years 11 months ago
2007
IEEE
The purpose of this research is to develop a webbased learning environment where teachers can provide subject content using SCORM Simple Sequence Specification (SSS) mechanism wit...
150
click to vote
ISPW
2007
IEEE
15 years 11 months ago
2007
IEEE
The primary objective of all software engineering courses is to help students learn how to develop successful software systems with good software engineering practices. Various too...
173
Voted
EUROMICRO
1999
IEEE
15 years 9 months ago
1999
IEEE
Software synthesis for system level design languages becomes feasible because the current technology, pricing and application trends will most likely alleviate the industrial empha...
WDAG
2005
Springer
15 years 10 months ago
2005
Springer
We introduce a new object, BH, and prove that a system with one BH object and single-writer Registers has the same computational power as a system with countably many commutative a...