1989 search results - page 327 / 398 » Set functions for functional logic programming |
145
click to vote
IPPS
1999
IEEE
15 years 10 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...
150
click to vote
TOOLS
1999
IEEE
15 years 10 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...
159
click to vote
TOOLS
1999
IEEE
15 years 10 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...
162
click to vote
CSFW
2010
IEEE
15 years 10 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...
153
click to vote
APSEC
2008
IEEE
15 years 8 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...