1888 search results - page 73 / 378 » Automatic Implementation of Distributed Systems Formal Speci... |
127
click to vote
ACSD
1998
IEEE
15 years 7 months ago
1998
IEEE
The development of an interactive application is a complex task that has to consider data, behavior, intercommunication, architecture and distribution aspects of the modeled syste...
169
click to vote
NSPW
1998
ACM
15 years 7 months ago
1998
ACM
Object-based programming is becoming more and more popular and is currently conquering the world of distributed programming models. In object-based systems access control is often...
137
click to vote
ICCAD
1994
IEEE
15 years 7 months ago
1994
IEEE
-- We describe a new high-level compiler called Integral fordesigning system interface modules. The inputis a high-levelconcurrent algorithmic specification that can model complex ...
106
click to vote
KES
2006
Springer
15 years 3 months ago
2006
Springer
Self-Management of multiservice network domains must include automatic detection of service quality violations in order to perform appropriate and timely responses, fostering the f...
181
click to vote
POPL
1994
ACM
15 years 7 months ago
1994
ACM
An important implementation decision in polymorphically typed functional programming languages is whether to represent data in boxed or unboxed form and when to transform them fro...