1799 search results - page 191 / 360 » The Logic of Correctness in Software Engineering |
171
click to vote
TASE
2008
IEEE
16 years 28 days ago
2008
IEEE
We present a thorough study of Propositional Dynamic Logic over a variation of labeled transition systems, called accelerated labelled transition systems, which are transition sys...
171
click to vote
WCRE
2008
IEEE
16 years 28 days ago
2008
IEEE
A business process contains a set of logically related tasks executed to fulfill business goals. Business applications enable organizations to automatically perform their daily op...
162
click to vote
COMPSAC
2006
IEEE
16 years 18 days ago
2006
IEEE
Modern mobile computing paradigms have set new challenges for the development of distributed mobile applications and services. Because of the variability which characterizes the c...
133
click to vote
IEEECIT
2006
IEEE
16 years 17 days ago
2006
IEEE
As an important part of service-oriented software engineering, service retrieval receives much attention from industry and academia, but which still leaves much to be expected: ho...
177
click to vote
SCAM
2005
IEEE
16 years 3 days ago
2005
IEEE
When a new technology is introduced, the migration of existing applications to the new technology must be carefully considered. Automation can make some migrations feasible that o...