4286 search results - page 100 / 858 » Formalizing Service Interactions |
179
click to vote
CODES
2006
IEEE
16 years 8 days ago
2006
IEEE
Embedded system optimization typically considers objectives such as cost, timing, buffer sizes and power consumption. Robustness criteria, i.e. sensitivity of the system to variat...
158
click to vote
ADBIS
2005
Springer
15 years 11 months ago
2005
Springer
The current period of IT development is characterized by an explosive growth of diverse information representation languages. Applying integration and composition of heterogeneous ...
177
click to vote
AO
2006
15 years 6 months ago
2006
Large software systems are modularized in order to improve manageability. The parts of the software system communicate in order to achieve the desired functionality. To better und...
190
click to vote
AGTIVE
2007
Springer
16 years 12 days ago
2007
Springer
Communities of autonomous units are being developed for formal specification and semantic analysis of systems of interacting and mobile components. The autonomous units of a commu...
168
click to vote
RE
2002
Springer
15 years 5 months ago
2002
Springer
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...