3771 search results - page 358 / 755 » Process modeling for future technologies |
105
Voted
JLP
2008
15 years 5 months ago
2008
A bio-inspired language is presented. Its terms are processes enclosed into boxes with typed interaction sites. The main feature of the formalism lays in the fact that the key-loc...
154
click to vote
ISQED
2008
IEEE
15 years 11 months ago
2008
IEEE
Large-scale process fluctuations (particularly random device mismatches) at nanoscale technologies bring about highdimensional strongly nonlinear performance variations that canno...
143
click to vote
ISCIS
2004
Springer
15 years 10 months ago
2004
Springer
Testing is a necessary, but costly process for user-centric quality control. Moreover, testing is not comprehensive enough to completely detect faults. Many formal methods have bee...
164
click to vote
IDA
1999
Springer
15 years 9 months ago
1999
Springer
The goal of input-output modeling is to apply a test input to a system, analyze the results, and learn something useful from the causeeffect pair. Any automated modeling tool that...
143
click to vote
EPEW
2005
Springer
15 years 10 months ago
2005
Springer
We describe a UML-based method which supports model-driven development of service-oriented architectures including those used in Web services. Analysable content is extracted from ...