1989 search results - page 327 / 398 » Set functions for functional logic programming |
IPPS
1999
IEEE
15 years 2 months ago
1999
IEEE
Abstract. Distributed Objects DO as de ned by OMG's CORBA architecture provide a model for object-oriented parallel distributed computing. The parallelism in this model howeve...
TOOLS
1999
IEEE
15 years 2 months ago
1999
IEEE
With special focus on software architectural issues, we report from the first two major phases of a software development project. Our experience suggests that explicit focus on so...
TOOLS
1999
IEEE
15 years 2 months ago
1999
IEEE
Class algebra provides a natural framework for sharing of ISA hierarchies between users that may be unaware of each other's definitions. This permits data from relational dat...
CSFW
2010
IEEE
15 years 1 months ago
2010
IEEE
Abstract—Many computer systems have a functional requirement to release information. Such requirements are an important part of a system’s information security requirements. Cu...
APSEC
2008
IEEE
14 years 11 months ago
2008
IEEE
Formal verification of Function Block Diagram (FBD) based software is an essential task when replacing traditional relay-based analog system with PLC-based software in nuclear rea...