2339 search results - page 284 / 468 » Software processes for the development of electronic commerc... |
179
click to vote
AOSD
2009
ACM
16 years 1 months ago
2009
ACM
e is an aspect-oriented hardware verification language that is widely used to verify the design of electronic circuits through the development and execution of testbenches. In rec...
185
click to vote
CISIS
2007
IEEE
15 years 8 months ago
2007
IEEE
This paper describes the initial PhD research work for developing an innovative process for agent coordination in unstructured distributed environments. In this proposal, an agent...
152
click to vote
ICECCS
1998
IEEE
15 years 10 months ago
1998
IEEE
All systems, regardless of how carefully they have been constructed, suffer failures. This paper focuses on developing a formal understanding of failure with respect to system imp...
180
click to vote
ICRA
2007
IEEE
16 years 26 days ago
2007
IEEE
Abstract— Creatively misquoting Thomas Hobbes, the process of software debugging is nasty, brutish, and all too long. This holds all the more true in robotics, which frequently i...
168
click to vote
CEEMAS
2005
Springer
16 years 2 days ago
2005
Springer
In this paper we propose an architecture for the development of Intelligent Virtual Environments for Training, which is based on a collection of cooperative software agents. The ï¬...