3765 search results - page 117 / 753 » Formal Methods for Systems Engineering Behavior Models |
ICSE
2000
IEEE-ACM
15 years 6 months ago
2000
IEEE-ACM
The design of distributed applications in a CORBA based environment can be carried out by means of an incremental approach, which starts from the specification and leads to the hi...
125
click to vote
CAISE
2008
Springer
15 years 4 months ago
2008
Springer
Introducing enterprise information systems (EIS) is usually associated with high costs. It is therefore crucial to understand those factors that determine or influence these costs....
115
click to vote
ITRUST
2005
Springer
15 years 8 months ago
2005
Springer
Abstract. When we model and analyze trust in organizations or information systems we have to take into account two different levels of analysis: social and individual. Social leve...
117
click to vote
ISCAS
2006
IEEE
15 years 8 months ago
2006
IEEE
—Accurate analog models of power system components are required in order to realize an analog computation engine for power systems. Analog computation is an area of continued int...
118
Voted
ENTCS
2006
15 years 2 months ago
2006
The application of formal methods to analog and mixed signal circuits requires efficient methods tructing abstractions of circuit behaviors. This paper concerns the verification o...