1306 search results - page 83 / 262 » A Diagrammatic Approach to Model Completion |
101
Voted
CA
2002
IEEE
15 years 5 months ago
2002
IEEE
Although computer assistance for traditional animation is gaining a lot of attention during recent years, it still has to cope with many limitations. Part of the current research ...
107
click to vote
ER
1998
Springer
15 years 4 months ago
1998
Springer
Abstract: Currently, there are strong efforts to integrate spatial and temporal database technology into spatio-temporal database systems. This paper views the topic from a rather ...
72
Voted
ISI
2006
Springer
15 years 18 days ago
2006
Springer
Security of civil aviation has become a major concern in recent years, leading to a variety of protective measures related to airport and aircraft security to be established by re...
116
click to vote
IEEEHPCS
2010
14 years 11 months ago
2010
Model checking is a formal verification method widely accepted in the web service world because of its capability to reason about service behaviors, at their process-level. It ha...
96
Voted
SAMOS
2010
Springer
14 years 11 months ago
2010
Springer
—Process Networks (PNs) is an appealing computation ion helping to specify an application in parallel form and realize it on parallel platforms. The key questions to be answered ...