1802 search results - page 149 / 361 » Using Declarative Specifications in Business Process Design |
103
click to vote
ICCAD
1994
IEEE
15 years 7 months ago
1994
IEEE
Language containment is a method for design verification that involves checking if the behavior of the system to be verified is a subset of the behavior of the specifications (pro...
136
Voted
ISESE
2005
IEEE
15 years 8 months ago
2005
IEEE
The development of High-Performance Computing (HPC) programs is crucial to progress in many fields of scientific endeavor. We have run initial studies of the productivity of HPC d...
169
click to vote
ICANN
2010
Springer
15 years 27 days ago
2010
Springer
Accurate time series forecasting are important for several business, research, and application of engineering systems. Evolutionary Neural Networks are particularly appealing becau...
122
click to vote
ISTA
2004
15 years 4 months ago
2004
: New approaches to modeling and design of enterprise systems must enable enterprises to offer dramatically improved capabilities including more effective enterprise architectures,...
124
Voted
ACMDIS
2000
ACM
15 years 7 months ago
2000
ACM
In real world development environments where deadlines are fixed, a designer must craft a process that works with the team and within the constraints of a project. The traditional...