Sciweavers

828 search results - page 97 / 166
» A programming model for active documents
Sort
View
ICADL
2007
Springer
144views Education» more  ICADL 2007»
15 years 6 months ago
Automatic Text Summarization in Engineering Information Management
In today’s knowledge-intensive engineering environment, information management is an important and essential activity. However, existing researches of Engineering Information Man...
Jiaming Zhan, Han Tong Loh, Ying Liu, Aixin Sun
CN
1999
100views more  CN 1999»
14 years 11 months ago
Testing protocols modeled as FSMs with timing parameters
An optimization method is introduced for generating minimum-length test sequences taking into account timing constraints for FSM models of communication protocols. Due to active t...
M. Ümit Uyar, Mariusz A. Fecko, Adarshpal S. ...
POPL
2006
ACM
16 years 4 days 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, ...
EDOC
2003
IEEE
15 years 5 months ago
Integrating CBSE, SoC, MDA, and AOP in a Software Development Method
Component-Based Software Engineering, Separation of Concerns, Model-Driven Architecture, and Aspect-Oriented Programming are four active research areas that have been around for s...
Raul Silaghi, Alfred Strohmeier
VLDB
1994
ACM
162views Database» more  VLDB 1994»
15 years 3 months ago
NAOS - Efficient and Modular Reactive Capabilities in an Object-Oriented Database System
This paper describes the design and implementation of NAOS, an active rule component in the object-oriented database system 02. The contribution of this work is related to two mai...
Christine Collet, Thierry Coupaye, T. Svensen