1411 search results - page 146 / 283 » Case Studies of an Insider Framework |
HYBRID
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In this paper, we propose a new approach for formal verification of hybrid systems. To do so, we present a new refinement proof technique, a weak refinement using step in...
106
click to vote
HPCN
2000
Springer
15 years 2 months ago
2000
Springer
The paper presents the implementation of a railway control system, as a means of assessing the potential of coordination languages to be used for modelling software architectures f...
ECOOP
1995
Springer
15 years 2 months ago
1995
Springer
Design patterns help to improve communication software quality since they address a fundamental challenge in largescale software development: communicationof architectural knowled...
ENDM
2007
14 years 11 months ago
2007
Fix a family T of 3-connected graphs, and let G be the class of graphs whose 3connected components are the graphs in T . We present a general framework for analyzing such graph cl...
JECR
2002
14 years 11 months ago
2002
Studies have shown that small- and medium-sized enterprises (SMEs) have embraced E-Commerce to strengthen their competitive position. In the case of SMEs engaging in export activi...