5465 search results - page 123 / 1093 » Assigning Types to Processes |
121
click to vote
ANSOFT
2002
14 years 10 months ago
2002
Abstract. The real-time process algebra (RTPA) is a set of new mathematical notations for formally describing system architectures, and static and dynamic behaviors. It is recogniz...
100
click to vote
HICSS
2002
IEEE
15 years 3 months ago
2002
IEEE
This paper is to study the information system development (ISD) by looking into fifty-six cases from the perspectives of power development stage and organizational politics. We in...
DEXAW
1999
IEEE
15 years 2 months ago
1999
IEEE
The wide variety of abstract system development methodologies available includes the waterfall and V models. These models are often too generic and need careful adaptation to suit ...
ICALP
1998
Springer
15 years 2 months ago
1998
Springer
Abstract. We study entailment of structural and nonstructural recursive subtyping constraints. Constraints are formal inequalities between type expressions, interpreted over an ord...
ECOOP
2012
Springer
13 years 13 days ago
2012
Springer
X10 is an object oriented programming language with a sophisticated type system (constraints, class invariants, non-erased generics, closures) and concurrency constructs (asynchron...