2500 search results - page 117 / 500 » Specifying Behavior in C |
112
Voted
RTAS
1996
IEEE
15 years 7 months ago
1996
IEEE
Real-time programmers have to deal with the problem of relating timing constraints associated with source code to sequences of machine instructions. This paper describes an enviro...
152
click to vote
AAAI
2008
15 years 5 months ago
2008
We propose an expressive auction design that allows advertisers to specify the kinds of demographics and websites they wish to target within an advertising network. The design all...
158
click to vote
HPCNCS
2007
15 years 4 months ago
2007
The objective of the proposed work is to formally specify and implement a federated web service model in which the identity management problem and security features are analyzed. ...
113
click to vote
CGF
2008
15 years 3 months ago
2008
In this work we present a point classification algorithm for multi-variate data. Our method is based on the concept of attribute subspaces, which are derived from a set of user sp...
105
click to vote
INFSOF
2008
15 years 3 months ago
2008
Different stakeholders in the design of an enterprise information system have their own view on that design. To help produce a coherent design this paper presents a framework that...