816 search results - page 141 / 164 » Automating Verification by Functional Abstraction at the Sys... |
APN
2005
Springer
14 years 2 months ago
2005
Springer
Current modeling techniques are not well equipped to design dynamic software architectures. In this work we present the basic concepts for a dynamic architecture modeling using net...
LR
2011
12 years 12 months ago
2011
Abstract We present methods and tools for modeling autonomously controlled production networks and investigation of their stability properties. Production networks are described as...
CLIMA
2009
13 years 6 months ago
2009
Abstract. No intelligent decision support system functions even remotely without knowing the preferences of the user. A major problem is that the way average users think about and ...
ICSE
2005
IEEE-ACM
14 years 9 months ago
2005
IEEE-ACM
Architects are faced with the problem of building enterprise scale information systems, with streamlined, automated internal business processes and web-enabled business functions,...
MICCAI
2010
Springer
13 years 7 months ago
2010
Springer
Abstract. Image segmentation is essential for many automated microscopy image analysis systems. Rather than treating microscopy images as general natural images and rushing into th...