Sciweavers

3514 search results - page 23 / 703
» Evolving Specification Engineering
Sort
View
POPL
2006
ACM
14 years 8 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, ...
VLDB
1997
ACM
132views Database» more  VLDB 1997»
13 years 12 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»
13 years 7 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
GI
2009
Springer
13 years 11 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
IJCAI
2001
13 years 9 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...