134 search results - page 13 / 27 » Complexity Management for Composable Real-Time Systems |
159
click to vote
CODES
2002
IEEE
15 years 6 months ago
2002
IEEE
The aggressive evolution of the semiconductor industry — smaller process geometries, higher densities, and greater chip complexity — has provided design engineers the means to...
115
click to vote
ICSOFT
2008
15 years 3 months ago
2008
One of the primary benefits of Service Oriented Architecture (SOA) [1] is the ability to compose applications, processes or more complex services from other services. As the comple...
128
click to vote
DMSN
2010
ACM
14 years 11 months ago
2010
ACM
Complex event processing (CEP) has become increasingly important for tracking and monitoring applications ranging from health care, supply chain management to surveillance. These ...
FM
2009
Springer
15 years 8 months ago
2009
Springer
In Bounded Model Checking both the system model and the checked property are translated into a Boolean formula to be analyzed by a SAT-solver. We introduce a new encoding technique...
126
click to vote
ITCC
2005
IEEE
15 years 7 months ago
2005
IEEE
Developing large multi-agent systems is a complex task involving the processes of the requirement, architecture, design and implementation of these systems. In particular, the arc...