3901 search results - page 565 / 781 » software 2008 |
206
click to vote
AOSE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Software agents are a promising technology for today's complex, distributed systems. Methodologies and techniques that address testing and reliability of multi agent...
166
click to vote
ASPDAC
2008
ACM
15 years 8 months ago
2008
ACM
Complex design, targeting System-on-Chip based on reconfigurable architectures, still lacks a generalized methodology allowing both the automatic derivation of a complete system s...
120
click to vote
ASSETS
2008
ACM
15 years 8 months ago
2008
ACM
This paper reports a low-cost autonomous wearable accelerometry-based posture monitoring system for stroke survivors. The hardware part of the system consists of monitoring device...
192
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We explore the problem of specification and verification of compliance in agent based Web service compositions. We use the formalism of temporal-epistemic logic suitably extended ...
240
click to vote
ATAL
2008
Springer
15 years 8 months ago
2008
Springer
We introduce eCAT, a tool that supports deriving test cases semi-automatically from goal-based analysis diagrams, generates meaningful test inputs based on agent interaction ontol...