4919 search results - page 627 / 984 » A Process-Ontological Model for Software Engineering |
183
click to vote
IEEESCC
2010
IEEE
15 years 2 months ago
2010
IEEE
Service-orientation and object-oriented design are common practice in the field of business application development. Business process execution languages help to facilitate the orc...
146
click to vote
ENTCS
2010
15 years 2 months ago
2010
We propose an automata-based formalism for the description of biological systems that allows properties expressed in the universal fragment of CTL to be verified in a modular way....
133
click to vote
EAAI
2010
14 years 11 months ago
2010
A model of honey bee social foraging is introduced to create an algorithm that solves a class of optimal resource allocation problems. We prove that if several such algorithms (&q...
159
click to vote
TCAD
2010
14 years 11 months ago
2010
In response to the increasing variations in integrated-circuit manufacturing, the current trend is to create designs that take these variations into account statistically. In this ...
148
click to vote
TCOM
2010
14 years 11 months ago
2010
The performance of an automatic frequency control (AFC) loop is investigated using two measures, the mean time to loss of lock and the average switching rate. The AFC is considere...