Sciweavers

3514 search results - page 23 / 703
» Evolving Specification Engineering
Sort
View
POPL
2006
ACM
15 years 10 months ago
Engineering with logic: HOL specification and symbolic-evaluation testing for TCP implementations
The TCP/IP protocols and Sockets API underlie much of modern computation, but their semantics have historically been very complex and ill-defined. The real standard is the de fact...
Steve Bishop, Matthew Fairbairn, Michael Norrish, ...
69
Voted
VLDB
1997
ACM
132views Database» more  VLDB 1997»
15 years 1 months ago
Integrating SQL Databases with Content-Specific Search Engines
In recentyears,databaseresearchandproduct developmentactivities havefocusedonsupport for non-traditional data types, such astext or multi-media documents.This paper describes an a...
Stefan Deßloch, Nelson Mendonça Matto...
CERA
2008
74views more  CERA 2008»
14 years 9 months ago
Processing Knowledge to Support Knowledge-based Engineering Systems Specification
er.sagepub.com/cgi/content/abstract/16/1/89 The online version of this article can be found at: Published by: http://www.sagepublications.com can be found at:Concurrent Engineering...
Samar Ammar-Khodja, Nicolas Perry, Alain Bernard
62
Voted
GI
2009
Springer
15 years 1 months ago
Applying Concept-Driven Engineering for Business Process Specifications
: This paper presents the principles of concept-driven engineering and the ConceptManager tool as an implementation of these principles. Concept-Driven Engineering is capable of el...
Peggy Schmidt, Marion Behrens, Sebastian Kowski
78
Voted
IJCAI
2001
14 years 11 months ago
Keyword Spices: A New Method for Building Domain-Specific Web Search Engines
This paper presents a new method for building domain-specific web search engines. Previous methods eliminate irrelevant documents from the pages accessed using heuristics based on...
Satoshi Oyama, Takashi Kokubo, Toru Ishida, Teruhi...