3142 search results - page 46 / 629 » A formal approach for designing CORBA based applications |
ICWE
2010
Springer
13 years 7 months ago
2010
Springer
Since contextual information has potential to improve task-based applications, we provide an approach for integrating contextual information in task-based applications by consideri...
ASPDAC
2004
ACM
14 years 14 days ago
2004
ACM
The design of complex systems is largely ruled by the time needed for verification. Even though formal methods can provide higher reliability, in practice often simulation based ve...
ICECCS
2007
IEEE
14 years 3 months ago
2007
IEEE
Abstract—Plugin-based application design has become increasingly popular in recent years, and has contributed to the success of a range of very different applications including ...
ASPDAC
2005
ACM
14 years 2 months ago
2005
ACM
— At system level, intensively analyzing the system application will produce a variety of useful characteristics and provide designers valuable exploration indications. In this p...
EUSFLAT
2003
13 years 10 months ago
2003
This paper presents iXSCL, an XML based language for the specification of objects in the Soft Computing area. iXSCL adopts a compositional approach in which objects are construct...