872 search results - page 131 / 175 » Using Plans to Automate Software Applications |
WWW
2001
ACM
14 years 9 months ago
2001
ACM
Information agents are computational software systems that provides transparent access to many different information sources in the Internet, and to be able to retrieve, analyze, ...
IAT
2003
IEEE
14 years 2 months ago
2003
IEEE
The design of a an agent system for robotics is a problem that involves aspects coming from many different disciplines (robotics, artificial intelligence, computer vision, softwa...
VTS
2005
IEEE
14 years 2 months ago
2005
IEEE
† In digital radio applications, error-vector-magnitude (EVM) is the primary specification which quantifies the performance of digital modulation implemented in silicon. Producti...
ASWEC
2000
IEEE
14 years 1 months ago
2000
IEEE
This paper describes the development of an experience factory in an Australian organization involved in the field of telecommunications. Faced with improvement needs, in 1998 the ...
ICSE
2004
IEEE-ACM
14 years 8 months ago
2004
IEEE-ACM
Model checking is an automated technique that can be used to determine whether a system satisfies certain required properties. To address the "state explosion" problem a...