143 search results - page 15 / 29 » A Formal Component Concept for the Specification of Industri... |
SFM
2005
Springer
14 years 26 days ago
2005
Springer
Hermes is a middleware system for design and execution of activity-based applications in distributed environments. It supports mobile computation as an application implementation s...
ENTCS
2002
13 years 7 months ago
2002
The MaC system has been developed to provide assurance that a target program is running correctly with respect to formal requirements specification. This is achieved by monitoring...
PDPTA
2000
13 years 8 months ago
2000
Object middleware, such as CORBA, is rapidly gaining acceptance as a means for cost effective and fast development for a wide range of applications in various areas of industry. St...
ECOOPW
2008
Springer
13 years 9 months ago
2008
Springer
EOOLT'2007 was the first edition of the ECOOP-EOOLT workshop. The workshop is intended to bring researchers associated with different equation-based object-oriented (EOO) mode...
ACSD
2004
IEEE
13 years 11 months ago
2004
IEEE
The design productivity gap has been recognized by the semiconductor industry as one of the major threats to the continued growth of system-on-chips and embedded systems. Ad-hoc s...