170 search results - page 24 / 34 » Program Annotation in XML: A Parse-Tree Based Approach |
CAV
2006
Springer
13 years 11 months ago
2006
Springer
Atomicity-checking is a powerful approach for finding subtle concurrency errors in shared-memory multithreaded code. The goal is to verify that certain code sections appear to exec...
ICSM
2006
IEEE
14 years 1 months ago
2006
IEEE
An approach to automatically identify the stereotypes of all the methods in an entire system is presented. A taxonomy for object-oriented class method stereotypes is given that un...
KI
2004
Springer
14 years 27 days ago
2004
Springer
Abstract Recent progress in mobile broadband communication and semantic web technology is enabling innovative internet services that provide advanced personalization and localizati...
XIMEP
2006
ACM
14 years 1 months ago
2006
ACM
This paper proposes an extension to the XQuery language to solve the problem of positional grouping: that is, problems in which it is necessary to convert a flat sequence into a h...
FASE
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. Blast is an automatic verification tool for checking temporal safety properties of C programs. Given a C program and a temporal safety property, Blast statically proves ...