4872 search results - page 435 / 975 » CBR for Modeling Complex Systems |
203
click to vote
KBSE
1999
IEEE
15 years 11 months ago
1999
IEEE
Modularization and abstraction are the keys to practical verification and analysis of large and complex systems. We present in an incremental methodology for the automatic analysi...
182
click to vote
EDBT
2000
ACM
15 years 10 months ago
2000
ACM
Workflow management systems (WFMSs) that are geared for the orchestration of enterprise-wide or even "virtual-enterprise"-style business processes across multiple organi...
196
click to vote
RTS
2006
15 years 6 months ago
2006
Many of today's complex computer applications are being modeled and constructed using the principles inherent to real-time distributed object systems. In response to this dem...
140
click to vote
IJMI
2007
15 years 6 months ago
2007
: The increasing dependency being placed on electronic health information systems presents new challenges for today’s health managers and systems developers. This paper uses Elec...
193
click to vote
ASE
1999
15 years 6 months ago
1999
Behaviour analysis should form an integral part of the software development process. This is particularly important in the design of concurrent and distributed systems, where comp...