395 search results - page 12 / 79 » Monitoring Architectural Properties in Dynamic Component-Bas... |
115
click to vote
SEW
2003
IEEE
15 years 5 months ago
2003
IEEE
Runtime monitoring is aimed at ensuring correct runtime behavior with respect to specified constraints. It provides assurance that properties are maintained during a given program...
116
Voted
ICAS
2009
IEEE
15 years 7 months ago
2009
IEEE
IP Multimedia Subsystem (IMS) entails novel business opportunities for pioneering and emerging multimedia services, such as IPTV and VoIP video call applications. However, this st...
CASCON
2007
15 years 1 months ago
2007
For a system of distributed processes, correctness can be ensured by (statically) checking whether their composition satisfies properties of interest. In contrast, Web services a...
82
Voted
ICCBR
2005
Springer
15 years 6 months ago
2005
Springer
This paper presents a model constructed for the evaluation of the interaction of the atmosphere and the ocean. The work here presented focuses in the development of an agent based ...
116
click to vote
VLSID
2007
IEEE
16 years 24 days ago
2007
IEEE
In the past, Field Programmable Gate Array (FPGA) circuits only contained a limited amount of logic and operated at a low frequency. Few applications running on FPGAs consumed exc...