4469 search results - page 756 / 894 » A Language for Role Specifications |
181
click to vote
CMSB
2006
Springer
15 years 10 months ago
2006
Springer
Type checking and type inference are important concepts and methods of programming languages and software engineering. Type checking is a way to ensure some level of consistency, d...
184
click to vote
ECMDAFA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. The Unified Modelling Language (UML) is intended to describe systems, but it is not clear what systems satisfy a given collection of UML diagrams. Stephen Mellor has desc...
171
click to vote
EMISA
2006
Springer
15 years 10 months ago
2006
Springer
Abstract: Web service technology offers a promising approach for realizing enterprisewide and cross-organizational business applications. With the Business Process Execution Langua...
204
click to vote
JAVA
2000
Springer
15 years 10 months ago
2000
Springer
Java is an attractive environment for writing portable message passing parallel programs. Considerable work in message passing interface bindings for the C and Fortran languages h...
178
click to vote
ASPLOS
1987
ACM
15 years 10 months ago
1987
ACM
This paper describes the design and implementation of virtual memory management within the CMU Mach Operating System and the experiences gained by the Mach kernel group in porting...