9974 search results - page 1895 / 1995 » Software Interconnection Models |
FOCM
2010
15 years 8 days ago
2010
Abstract. An automated method of general purpose is introduced for computing a rigorous estimate of a bounded region in Rn whose points satisfy a given property. The method is base...
85
Voted
ICRA
2010
IEEE
15 years 7 days ago
2010
IEEE
Abstract— For robotic manipulation tasks in uncertain environments, good force control can provide significant benefits. The design of force-controlled actuators typically revo...
117
click to vote
ICWE
2010
Springer
15 years 7 days ago
2010
Springer
Compliance management is essential for ensuring that organizational business processes and supporting information systems are in accordance with a set of prescribed requirements or...
114
Voted
ISOLA
2010
Springer
15 years 5 days ago
2010
Springer
This article comprehensively surveys the work accomplished during the past decade on an approach to analyze concurrent systems qualitatively and quantitatively, by combining functi...
133
click to vote
IV
2010
IEEE
15 years 5 days ago
2010
IEEE
—Networks are widely used in modeling relational data often comprised of thousands of nodes and edges. This kind of data alone implies a challenge for its visualization as it is ...