Sciweavers

5718 search results - page 324 / 1144
» Modeling Rule Precision
Sort
View
184
Voted
ICRA
2010
IEEE
275views Robotics» more  ICRA 2010»
15 years 5 months ago
A measurement model for tracking hand-object state during dexterous manipulation
— It is frequently accepted in the manipulation literature that tactile sensing is needed to improve the precision of robot manipulation. However, there is no consensus on how th...
Craig Corcoran, Robert Platt
ICSEA
2009
IEEE
15 years 4 months ago
Integrating Formal Methods with Model-Driven Engineering
In this paper, we present our position and experience on integrating formal methods with the Model-driven Engineering (MDE) approach to software development. Both these two approa...
Angelo Gargantini, Elvinia Riccobene, Patrizia Sca...
EIS
2011
253views ECommerce» more  EIS 2011»
15 years 1 months ago
A modelling and reasoning framework for social networks policies
Policy languages (such as privacy and rights) have had little impact on the wider community. Now that Social Networks have taken off, the need to revisit Policy languages and real...
Guido Governatori, Renato Iannella
WOSP
2010
ACM
16 years 1 months ago
A page fault equation for dynamic heap sizing
For garbage-collected applications, dynamically-allocated objects are contained in a heap. Programmer productivity improves significantly if there is a garbage collector to autom...
Y. C. Tay, X. R. Zong
PIMRC
2008
IEEE
16 years 1 months ago
Increasing SIP firewall performance by ruleset size limitation
Abstract— To protect SIP communication networks from attacks, especially flooding attacks like Denial-of-Service or message spam, Intrusion Detection Systems (IDS) are deployed ...
Sven Ehlert, Ge Zhang, Thomas Magedanz