Sciweavers

121 search results - page 11 / 25
» Round-Trip Prototyping Based on Integrated Functional and Us...
Sort
View
SIGSOFT
2001
ACM
14 years 8 months ago
Detecting implied scenarios in message sequence chart specifications
Scenario-based specifications such as Message Sequence Charts (MSCs) are becoming increasingly popular as part of a requirements specification. Scenarios describe how system compo...
Jeff Kramer, Jeff Magee, Sebastián Uchitel
VLDB
1999
ACM
113views Database» more  VLDB 1999»
13 years 12 months ago
Hyper-Programming in Java
Hyper-programming is a technology only available in persistent systems, since hyper-program source code contains both text and links to persistent objects. A hyper-programming sys...
Evangelos Zirintsis, Graham N. C. Kirby, Ronald Mo...
DEXAW
2006
IEEE
164views Database» more  DEXAW 2006»
13 years 9 months ago
A P2P Integration Architecture for Protein Resources
The availability of a direct pathway from a primary sequence (denovo or DNA derived) to macromolecular structure to biological function using computer-based tools is the ultimate ...
Kajal T. Claypool, Sanjay Kumar Madria
JDCTA
2010
150views more  JDCTA 2010»
13 years 2 months ago
Proof as Composition: An approach for the Large-granularity Web Services Composition
The large-granularity Web services are a new form of Web services. In contrast to the traditional Web services, they often have more interfaces, encapsulate more complex business ...
Yuyu Yin, Ying Li, Jianwei Yin, ShuiGuang Deng
CAD
2000
Springer
13 years 7 months ago
The Enterprise-Web portal for life-cycle support
As we enter the new millennium, the approach to product development is evolving rapidly. Companies are in the process of creating a distributed design and manufacturing environmen...
Mohsen Rezayat