79 search results - page 2 / 16 » Formal Specification and Prototyping of CORBA Systems |
IJAOSE
2008
13 years 5 months ago
2008
: Even if Multiagent Systems (MASs) are recognised as an appealing paradigm for designing many computer systems ranging from complex distributed systems to intelligent software app...
TSE
2002
13 years 5 months ago
2002
HCI
2009
13 years 3 months ago
2009
The design of safety critical systems calls for advanced software engineering models, methods and tools in order to meet the safety requirements that will avoid putting human life ...
TOOLS
1998
IEEE
13 years 9 months ago
1998
IEEE
We have implemented a prototype distributed system for managing and accessing a digital library of geospatial imagery over a wide-area network. The system conforms to a subset of ...
RSP
1998
IEEE
13 years 9 months ago
1998
IEEE
The complexity of distributed systems is a problem when designers want to evaluate their safety and liveness. Often, they are built by integration of existing components with newl...