1713 search results - page 136 / 343 » Modeling and Engineering Adaptive Complex Systems |
ICSE
2008
IEEE-ACM
16 years 14 days ago
2008
IEEE-ACM
We present a tool for performance modeling of Service Oriented Architectures (SOAs). As mission-critical use of whole-ofgovernment SOAs become pervasive, the capability to model a...
104
click to vote
ICEBE
2005
IEEE
15 years 6 months ago
2005
IEEE
This paper presents a process modeling language known as the GridPML for the composition of Grid Services. The GridPML is an XML-based language that supports basic control flow co...
WSC
1998
15 years 1 months ago
1998
Constructing models of systems that change their structure over time has proved to be a challenging problem, with several proposed solutions. We present two of these approaches an...
117
Voted
ICSM
2009
IEEE
15 years 7 months ago
2009
IEEE
Model checking is a promising technique for verifying program behavior and is increasingly finding usage in industry. To date, however, researchers have primarily considered mode...
107
Voted
SPRINGSIM
2007
15 years 1 months ago
2007
DEVS is a Modeling and Simulation formalism that has been used to study the dynamics of discrete event systems. Cell-DEVS is a DEVS-based formalism that defines the cell space as ...