2205 search results - page 209 / 441 » Mutation Operators for Specifications |
116
click to vote
CAD
2004
Springer
15 years 2 months ago
2004
Springer
In recent years, geometry processing algorithms that directly operate on polygonal meshes have become an indispensable tool in computer graphics, CAD/CAM applications, numerical s...
99
Voted
ENTCS
2000
15 years 2 months ago
2000
Incompleteness results for behavioral logics are investigated. We show that there is a basic finite behavioral specification for which the behavioral satisfaction problem is not r...
140
Voted
COMCOM
1998
15 years 2 months ago
1998
Although distributed object computing has developed rapidly over the past decade, and is now becoming commercially important, there remain key application areas inadequately suppo...
119
click to vote
CCS
2010
ACM
15 years 18 days ago
2010
ACM
Cross-domain information exchange is a growing problem, as business and governmental organizations increasingly need to integrate their information systems with those of partially...
105
Voted
ICRA
2010
IEEE
15 years 15 days ago
2010
IEEE
In the future, robotic surgical assistants may assist surgeons by performing specific subtasks such as retraction and suturing to reduce surgeon tedium and reduce the duration of s...