2935 search results - page 120 / 587 » An Integrated Approach to High Integrity Software Verificati... |
160
Voted
DBPL
1997
Springer
15 years 8 months ago
1997
Springer
Abstract. In the context of the object-oriented data model, a compiletime approach is given that provides for a significant reduction of the amount of run-time transaction overhead...
131
Voted
ICWS
2007
IEEE
15 years 6 months ago
2007
IEEE
Web services provide an instantiation of the loosely coupled service–oriented architecture and facilitate the process of enterprise application integration by encapsulating info...
195
Voted
SIGGRAPH
1993
ACM
15 years 8 months ago
1993
ACM
Imaging vector fields has applications in science, art, image processing and special effects. An effective new approach is to use linear and curvilinear filtering techniques to ...
131
Voted
IJDST
2011
14 years 8 months ago
2011
The engineering of complex production automation systems involves experts from several backgrounds, such as mechanical, electrical, and software engineering. The production automa...
178
click to vote
EDCC
2010
Springer
15 years 9 months ago
2010
Springer
Distributed Hash Tables (DHTs) and Random Peer Sampling (RPS) provide important and complementary services in the area of P2P overlay networks. DHTs achieve efficient lookup whil...