12551 search results - page 394 / 2511 » Reuse in Systems Engineering |
177
click to vote
CADE
2008
Springer
16 years 7 months ago
2008
Springer
Satisfiability Modulo Theories (SMT) solvers have proven highly scalable, efficient and suitable for integrated theory reasoning. The most efficient SMT solvers rely on refutationa...
163
click to vote
EDOC
2008
IEEE
16 years 1 months ago
2008
IEEE
Software development is witnessing the increasing need of version management techniques for supporting the evolution of model-based artefacts. In this respect, metamodels can be c...
142
click to vote
PDP
2008
IEEE
16 years 1 months ago
2008
IEEE
The need for integration of human interaction scenarios into BPEL processes lead to the formalisation of tasks and human roles. The specifications BPEL4People and WSHumanTask int...
215
click to vote
ISVC
2007
Springer
16 years 29 days ago
2007
Springer
Content based image retrieval (CBIR), a technique which uses visual contents to search images from the large scale image databases, is an active area of research for the past decad...
192
click to vote
HOTI
2005
IEEE
16 years 13 days ago
2005
IEEE
A partitioned TCAM-based search engine is presented that increases packet forwarding rate multiple times over traditional TCAMs. The model works for IPv4 and IPv6 packet forwardin...