1554 search results - page 80 / 311 » An Overview of the Spring System |
184
click to vote
PAAMS
2010
Springer
15 years 4 months ago
2010
Springer
Abstract Monitoring the runtime behaviour of a distributed agent system for debugging or demonstration purposes provides a challenge to agent system developers. As a lot of the com...
140
click to vote
ICECCS
2000
IEEE
15 years 10 months ago
2000
IEEE
Production of a large-scale software system involves quite a few software components. It is very common to develop such software components in a distributed environment consisting...
152
click to vote
ICIP
2002
IEEE
16 years 7 months ago
2002
IEEE
This paper provides an overview of the emerging wireless communication standards, end-to-end wireless streaming systems, and relevant wireless multimedia technologies. It highligh...
199
click to vote
CADE
2001
Springer
16 years 6 months ago
2001
Springer
Abstract. JProver is a first-order intuitionistic theorem prover that creates sequent-style proof objects and can serve as a proof engine in interactive proof assistants with expre...
212
click to vote
MACE
2009
Springer
16 years 21 days ago
2009
Springer
Abstract. A strategy-tree provides a systematic approach to the evaluation of the effectiveness of deployed policy sets and a mechanism to dynamically alter policy sets (i.e., alt...