549 search results - page 106 / 110 » Verification condition generation for conditional informatio... |
117
click to vote
EWSPT
2003
Springer
15 years 5 months ago
2003
Springer
We present a new approach for the management and enactment of deployment process by a deployment processor ORYA (Open enviRonment to deploY Applications). ORYA aims to integrate te...
110
Voted
AAECC
2001
Springer
15 years 5 months ago
2001
Springer
A projective multiset is a collection of projective points, which are not necessarily distinct. A linear code can be represented as a projective multiset, by taking the columns of ...
WADS
1989
Springer
15 years 4 months ago
1989
Springer
rees can be used for representing abstract data types such as dictionaries and ordered lists. They work well when the elements are inserted in a random order. Some sequences of ope...
117
click to vote
SIGGRAPH
1997
ACM
15 years 4 months ago
1997
ACM
An object model for computer graphics applications should contain two aspects of information: shape and reflectance properties of the object. A number of techniques have been deve...
111
click to vote
DMIN
2008
15 years 1 months ago
2008
Abstract - The rapid advances of wireless and web technologies enable the mobile users to request various kinds of services via mobile devices at anytime and anywhere. To provide t...