8492 search results - page 279 / 1699 » Modelling and Design of Multi-Agent Systems |
141
click to vote
ICEBE
2007
IEEE
15 years 5 months ago
2007
IEEE
- E-services are used as the cornerstones for modeling interaction points of cooperating IT systems, within and between enterprises. So far, research and development of e-services ...
137
click to vote
CDC
2009
IEEE
15 years 2 months ago
2009
IEEE
In this paper, we investigate the cell design of bacteria during the exponential growth. To this purpose, we propose to formulate the problem as a non differentiable convex optimiz...
135
Voted
DSD
2010
IEEE
15 years 5 months ago
2010
IEEE
—The design of new embedded systems is getting more and more complex as more functionality is integrated into these systems. To deal with the design complexity, a predictable des...
145
click to vote
FMCO
2008
Springer
15 years 6 months ago
2008
Springer
In this paper, we present a framework for formal modeling and verification of service-based business processes with focus on their compliance to external regulations such as Segreg...
140
click to vote
VLSID
2002
IEEE
16 years 5 months ago
2002
IEEE
We present a methodology and algorithms for automatic refinement from a given design specification to an architecture model based on decisions in architecture exploration. An arch...