691 search results - page 56 / 139 » Modeling the Case Study with LDL and Implementing it with LD... |
CCGRID
2010
IEEE
12 years 11 months ago
2010
IEEE
- Scientific workflows have become an integral part of cyberinfrastructure as their computational complexity and data sizes have grown. However, the complexity of the distributed i...
WCRE
2009
IEEE
14 years 2 months ago
2009
IEEE
Feature models are widely employed in domainspecific software development to specify the domain requirements with commonality and variability. A feature model is usually construct...
ECIS
2003
13 years 9 months ago
2003
The benefits of living in a fast changing information society become evident if effective ebusiness practices are implemented, offering companies exposure and access to global mar...
TOOLS
2000
IEEE
14 years 14 days ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
FORTE
2004
13 years 9 months ago
2004
Numerous specialized ad hoc routing protocols are currently proposed for use, or being implemented. Few of them have been subjected to formal verification. This paper evaluates two...