897 search results - page 125 / 180 » A Methodology for Agent-Oriented Analysis and Design |
EVOW
1999
Springer
14 years 13 days ago
1999
Springer
This paper describes a new approximate approach for checking the correctness of the implementation of a protocol interface, comparing its lowlevel implementation with its high-leve...
IOT
2010
13 years 6 months ago
2010
Persuasive energy monitoring technology has the potential to inspire sustainable energy lifestyles within the home. However, to effect positive ecological behaviour change, a more ...
NOMS
2010
IEEE
13 years 6 months ago
2010
IEEE
As IP telephony becomes a critical part of the enterprise network infrastructure, there is an increasing need for tools to help manage VoIP systems. In this paper, we introduce DA ...
ICIP
2005
IEEE
14 years 9 months ago
2005
IEEE
A recent trend in digital mammography are Computer-Aided Diagnosis systems, which are computerised tools designed to assist radiologists. Most of these systems are used for the au...
ICCAD
2004
IEEE
14 years 5 months ago
2004
IEEE
Kth increasing uncertainties in the modeling and pmcessing of semiconductor devices, it is essential that the sources of failures be identified once the devices ure manufactured I...