2813 search results - page 25 / 563 » Formalizing Architectural Connection |
MIDDLEWARE
2004
Springer
14 years 3 months ago
2004
Springer
Grid computing is a new paradigm that enables the distributed coordination of resources and services which are geographically dispersed, span multiple trust domains and are hetero...
TON
2008
13 years 9 months ago
2008
Traffic grooming in optical networks has gained significance due to the prevailing sub-wavelength requirement of end users. Optical networks get upgraded to the latest technology s...
FUIN
2006
13 years 9 months ago
2006
The paper introduces the formal description of a computing multi-agent system (MAS), its architecture and dynamics (sections 2
ICSE
2000
IEEE-ACM
14 years 1 months ago
2000
IEEE-ACM
The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the hi...
SIGSOFT
2000
ACM
14 years 2 months ago
2000
ACM
Designing architectural frameworks without the aid of formal modeling is error prone. But, unless supported by analysis, formal modeling is prone to its own class of errors, in wh...