738 search results - page 129 / 148 » Object Orientation and Formal Techniques |
EGOV
2010
Springer
15 years 6 hour ago
2010
Springer
E-government has emerged as one of the most promising means to reform the public sector. E-government is now being used to improve services for assisted living. The purpose of assi...
CORR
2010
Springer
14 years 11 months ago
2010
Springer
As mobile devices with positioning capabilities continue to proliferate, data management for so-called trajectory databases that capture the historical movements of populations of...
79
Voted
IGPL
2006
14 years 11 months ago
2006
Abduction or retroduction, as introduced by C.S. Peirce in the double sense of searching for explanatory instances and providing an explanation (i.e., involving the procedure of s...
126
Voted
PLDI
2003
ACM
15 years 4 months ago
2003
ACM
This paper presents a static analysis tool that can automatically find memory leaks and deletions of dangling pointers in large C and C++ applications. We have developed a type s...
BPM
2008
Springer
15 years 27 days ago
2008
Springer
A given business process may face a large number of regulatory obligations the process may or comply with. Providing tools and techniques through which an evaluation of the complia...