549 search results - page 106 / 110 » Verification condition generation for conditional informatio... |
EWSPT
2003
Springer
15 years 3 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...
AAECC
2001
Springer
15 years 2 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 ...
78
Voted
WADS
1989
Springer
15 years 2 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...
SIGGRAPH
1997
ACM
15 years 1 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...
91
Voted
DMIN
2008
14 years 11 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...