2523 search results - page 265 / 505 » Correct Development of Embedded Systems |
151
click to vote
MICS
2008
15 years 2 months ago
2008
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...
236
Voted
ICDE
2007
IEEE
16 years 4 months ago
2007
IEEE
We address the issue of measuring storage, or query load distribution fairness in peer-to-peer data management systems. Existing metrics may look promising from the point of view ...
129
click to vote
WETICE
2006
IEEE
15 years 9 months ago
2006
IEEE
By separating the process logic from the application code process management systems (PMS) offer promising perspectives for automation and management of business processes. Howeve...
116
Voted
AAMAS
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. So far, the main focus of research on adaptability in multiagent systems (MASs) has been on the agents’ behavior, for example on developing new learning techniques and ...
123
click to vote
CHI
2010
ACM
15 years 10 months ago
2010
ACM
We plan to evaluate different kinds of augmented feedback (tactile, video, sound) for learning basic dance choreographies. Therefore we develop a dance training system based on mo...