1633 search results - page 248 / 327 » On the Verification of Temporal Properties |
IAT
2009
IEEE
14 years 2 months ago
2009
IEEE
Abstract—Developing autonomous systems that patrol environments for detecting intruders is a topic of increasing relevance in security applications. An important aspect of these ...
ATAL
2008
Springer
14 years 24 days ago
2008
Springer
In open multi-agent systems (MASs) we cannot assume agents to be developed in a centralized fashion. Recent proposals of commitmentbased communication frameworks aim at increasing ...
CAISE
2008
Springer
14 years 23 days ago
2008
Springer
Abstract. Web services are increasingly used for building enterprise information systems according to the Service Oriented Architecture (Soa) paradigm. We propose in this paper a t...
ESANN
2008
14 years 7 days ago
2008
Computational neuroscience is an appealing interdisciplinary domain, at the interface between biology and computer science. It aims at understanding the experimental data obtained...
ESANN
2006
14 years 5 days ago
2006
Blind source separation (BSS) has become one of the major signal and image processing area in many applications. Principal component analysis (PCA) and Independent component analys...