7380 search results - page 1203 / 1476 » Engineering Software Intensive Systems |
116
click to vote
HICSS
2009
IEEE
15 years 10 months ago
2009
IEEE
The need for professionals to make informed ethical choices in design and management of information systems is more important than ever. However, the relative newness of the infor...
133
Voted
SAC
2009
ACM
15 years 10 months ago
2009
ACM
This paper deals with the development and use of business cases in support of cross-organizational enterprise resource planning (ERP)-enabled e-business integration initiatives. I...
125
click to vote
ISORC
2009
IEEE
15 years 10 months 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...
131
click to vote
FSTTCS
2009
Springer
15 years 10 months 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...
147
Voted
SFM
2009
Springer
15 years 10 months 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...