4286 search results - page 498 / 858 » Formalizing Service Interactions |
123
click to vote
FASE
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. E-government services usually process large amounts of confidential data. Therefore, security requirements for the communication between components have to be adhered in...
160
click to vote
RTAS
2009
IEEE
15 years 12 months ago
2009
IEEE
Embedded systems in safety-critical environments demand safety guarantees while providing many useful services that are too complex to formally verify or fully test. Existing appl...
175
click to vote
MEMOCODE
2008
IEEE
15 years 11 months ago
2008
IEEE
Equivalence checking is a classical verification method determining if a finite-state concurrent system (protocol) satisfies its desired external behaviour (service) by compari...
135
click to vote
HICSS
2007
IEEE
15 years 11 months ago
2007
IEEE
Existing studies on IT outsourcing have mainly examined partnership factors that influence IT outsourcing effectiveness. This stream of IT outsourcing research has largely ignored...
160
click to vote
AGTIVE
2007
Springer
15 years 11 months ago
2007
Springer
Abstract. Business-driven development is a methodology for developing IT solutions that directly satisfy business requirements. At its core are business processes, which are usuall...