4418 search results - page 455 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
181
Voted
ATAL
2009
Springer
15 years 10 months ago
2009
Springer
Many real-world applications of multiagent systems require independently designed (heterogeneous) and operated (autonomous) agents to interoperate. We consider agents who offer bu...
219
Voted
UML
2005
Springer
16 years 10 days ago
2005
Springer
Autonomic computer systems aim to reduce the configuration, operational, and maintenance costs of distributed applications by enabling them to self-manage, self-heal, self-optimiz...
189
Voted
ICFEM
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Theorem provers, model checkers, static analyzers, test generators. . . all of these and many other kinds of formal methods tools can contribute to the analysis and devel...
198
Voted
BPSC
2007
15 years 8 months ago
2007
Originally XML was used as a standard protocol for data exchange in computing. The evolution of information technology has opened up new situations in which XML can be used to aut...
228
Voted
GROUP
2010
ACM
15 years 4 months ago
2010
ACM
Movie recommender systems simplify the movie selection by providing movie suggestions based on the respective user's personal taste. Most of the current systems address indiv...