Sciweavers

2416 search results - page 399 / 484
» The Language of Cortical Dynamics
Sort
View
SASO
2008
IEEE
16 years 16 days ago
Semantic Web Based Self-Management for a Pervasive Service Middleware
Self-management is one of the challenges for realizing Ambient Intelligence in pervasive computing. In this paper, we propose and present a semantic web based selfmanagement appro...
Weishan Zhang, Klaus Marius Hansen
TASE
2008
IEEE
16 years 16 days ago
Reasoning about Channel Passing in Choreography
Abstract Web services choreography describes global models of service interactions among a set of participants. For an interaction to be executed, the participants taken part in it...
Hongli Yang, Chao Cai, Liyang Peng, Xiangpeng Zhao...
CRV
2007
IEEE
146views Robotics» more  CRV 2007»
16 years 15 days ago
INVICON: A Toolkit for Knowledge-Based Control of Vision Systems
To perform as desired in a dynamic environment a vision system must adapt to a variety of operating conditions by selecting vision modules, tuning their parameters, and controllin...
Olena Borzenko, Yves Lespérance, Michael Je...
DATE
2007
IEEE
112views Hardware» more  DATE 2007»
16 years 15 days ago
Tool-support for the analysis of hybrid systems and models
This paper introduces a method and tool-support for the automatic analysis and verification of hybrid and embedded control systems, whose continuous dynamics are often modelled u...
Andreas Bauer 0002, Markus Pister, Michael Tautsch...
KBSE
2007
IEEE
16 years 13 days ago
Test suite reduction and prioritization with call trees
This paper presents a tool that (i) constructs tree-based models of a program’s behavior during testing and (ii) employs these trees while reordering and reducing a test suite. ...
Adam M. Smith, Joshua Geiger, Gregory M. Kapfhamme...