8623 search results - page 1445 / 1725 » Software engineering for secure systems |
156
click to vote
ISORC
2009
IEEE
16 years 27 days ago
2009
IEEE
In the automotive domain, several loosely-coupled Architecture Description Languages (ADLs) compete to proet of abstract modeling and analysis services on top of the implementatio...
156
click to vote
FSTTCS
2009
Springer
16 years 25 days ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...
178
Voted
SFM
2009
Springer
16 years 24 days ago
2009
Springer
In the context of Service Oriented Computing behavioural contracts are descriptions of the observable message-passing behaviour of services. In other terms, contracts are behaviour...
163
Voted
SFM
2009
Springer
16 years 24 days ago
2009
Springer
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
168
click to vote
IOLTS
2008
IEEE
16 years 20 days ago
2008
IEEE
Present and future semiconductor technologies are characterized by increasing parameters variations as well as an increasing susceptibility to external disturbances. Transient err...