1799 search results - page 191 / 360 » The Logic of Correctness in Software Engineering |
188
click to vote
TASE
2008
IEEE
16 years 1 months 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...
191
click to vote
WCRE
2008
IEEE
16 years 1 months 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...
177
Voted
COMPSAC
2006
IEEE
16 years 1 months 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...
148
click to vote
IEEECIT
2006
IEEE
16 years 1 months 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...
196
click to vote
SCAM
2005
IEEE
16 years 19 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...