4326 search results - page 729 / 866 » A Model for Process Service Interaction |
145
click to vote
ISSE
2007
15 years 3 months ago
2007
Increasingly, computer software must adapt dynamically to changing conditions. The correctness of adaptation cannot be rigorously addressed without precisely specifying the require...
138
click to vote
RE
2002
Springer
15 years 3 months ago
2002
Springer
A limiting factor in the industrial acceptance of formal specifications is their readability, particularly for large, complex engineering systems. We hypothesize that multiple vis...
139
click to vote
TITS
2002
15 years 3 months ago
2002
Abstract-This paper presents algorithms for vision-based detection and classification of vehicles in monocular image sequences of traffic scenes recorded by a stationary camera. Pr...
121
click to vote
PUC
2008
15 years 2 months ago
2008
: In computing design, experience is often broken down, compartmentalized, and engineered: a process that often disenchants the original experience. In this paper, we demonstrate t...
130
click to vote
PVLDB
2008
15 years 2 months ago
2008
XTCcmp, the XQuery Compiler of a native XML database system, extends Starburst's well-known Query Graph Model to serve as an internal representation and basis for query restr...