566 search results - page 70 / 114 » Challenges and Research Directions in Agent-Oriented Softwar... |
RE
2001
Springer
14 years 3 days ago
2001
Springer
A logic model checker can be an effective tool for debugging software applications. A stumbling block can be that model checking tools expect the user to supply a formal statement...
ICSM
2009
IEEE
13 years 5 months ago
2009
IEEE
A build system breathes life into source code, as it configures and directs the construction of a software system from textual source code modules. Surprisingly, build languages a...
ACMSE
2008
ACM
13 years 9 months ago
2008
ACM
Although researchers have been exchanging ideas on the design and development of autonomic systems, there has been little emphasis on validation. In an effort to stimulate interes...
AVI
2008
13 years 10 months ago
2008
Digital tools for annotation of video have the promise to provide immense value to researchers in disciplines ranging from psychology to ethnography to computer science. With trad...
ICEIS
2003
IEEE
14 years 29 days ago
2003
IEEE
Abstract: Enterprise Application Integration (EAI) is a challenging area that is attracting growing attention from the software industry and the research community. A landscape of ...