3993 search results - page 411 / 799 » Matchmaking for Structured Objects |
130
click to vote
ISPW
1994
IEEE
15 years 9 months ago
1994
IEEE
I consider the problems of process system architecture in the context of the Perry-Wolf model of software architecture: process elements are executed in process systems by both ma...
111
click to vote
ER
1994
Springer
15 years 9 months ago
1994
Springer
Abstract. As information systems are increasingly being called upon to play vital roles in organizations, conceptual modelling techniques need to be extended to relate information ...
140
click to vote
DGCI
2006
Springer
15 years 8 months ago
2006
Springer
Critical kernels constitute a general framework settled in the of abstract complexes for the study of parallel thinning in any dimension. We take advantage of the properties of thi...
161
Voted
ESOP
2006
Springer
15 years 8 months ago
2006
Springer
We define a core language combining computational and architectural primitives, and study how static typing may be used to ensure safety properties of component composition and dyn...
149
click to vote
CAISE
1995
Springer
15 years 8 months ago
1995
Springer
, methods, techniques and tools. High level languages, structured programming, abstract data types, formal methods, non-procedural programming, object orientation, CASE, support en...