4693 search results - page 763 / 939 » Verifying Hybrid Systems |
148
click to vote
ICSM
2009
IEEE
16 years 1 days ago
2009
IEEE
Software clones are considered harmful in software maintenance and evolution. However, despite a decade of active research, there is a marked lack of work in the detection and ana...
137
click to vote
IROS
2009
IEEE
16 years 1 days ago
2009
IEEE
— Many everyday human skills can be framed in terms of performing some task subject to constraints imposed by the environment. Constraints are usually unobservable and frequently...
119
click to vote
IROS
2009
IEEE
16 years 1 days ago
2009
IEEE
— Robotic microhandling is a promising way to assemble microcomponents in order to manufacture new generation of Hybrid Micro ElectroMechanical Systems (HMEMS). However, at the s...
171
click to vote
AIME
2009
Springer
16 years 14 hour ago
2009
Springer
Abstract. The Regional Healthcare Agency (ASL) of Pavia has been maintaining a central data repository which stores healthcare data about the population of Pavia area. The analysis...
125
click to vote
ATAL
2009
Springer
15 years 12 months ago
2009
Springer
Organizational Self-Design (OSD) has been proposed as an approach to constructing suitable organizations at runtime in which the agents are responsible for constructing their own ...