Sciweavers

2666 search results - page 311 / 534
» Computing with Evolving Proteins
Sort
View
DEXA
2004
Springer
83views Database» more  DEXA 2004»
15 years 10 months ago
Efficient Rule Base Verification Using Binary Decision Diagrams
As their field of application has evolved and matured, the importance of verifying knowledge-based systems is now widely recognized. Nevertheless, some problems have remained. In t...
Christophe Mues, Jan Vanthienen
205
Voted
CCGRID
2006
IEEE
15 years 10 months ago
An Ontology-Based Conceptual Mapping Framework for Translating FBPML to the Web Services Ontology
This paper presents an ontology-based conceptual mapping framework that translates a formal and visually rich business process modeling (BPM) language, Fundamental Business Proces...
Gayathri Nadarajan, Yun-Heh Chen-Burger
EDOC
2004
IEEE
15 years 10 months ago
Mapping EDOC to Web Services using YATL
Modeling is a technique used extensively in industry to define software systems, the UML being the most prominent example. With the increased use of modeling techniques has come t...
Octavian Patrascoiu
EDOC
2004
IEEE
15 years 10 months ago
Using Subject-Oriented Modeling to Develop Jini Applications
A major contributing factor to the complexity of creating and evolving distributed systems is the tangling of middleware-specific functionality with core business functionality in...
Gagan Tandon, Sudipto Ghosh
FTDCS
2004
IEEE
15 years 10 months ago
Platform-Independent Dynamic Reconfiguration of Distributed Applications
The aim of dynamic reconfiguration is to allow a system to evolve incrementally from one configuration to another at run-time, without restarting it or taking it offline. In recen...
João Paulo A. Almeida, Marten van Sinderen,...