736 search results - page 105 / 148 » High-order functions and their ordering relations |
132
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
This paper presents an in-depth study of the theory and algorithms for the SPFD-based (Set of Pairs of Functions to be Distinguished) rewiring, and explores the flexibility in the...
151
click to vote
CSE
2009
IEEE
16 years 27 days ago
2009
IEEE
—Constraints are an important part of role-based access control policies. The safety or security of a system is maintained by enforcing constraints that are specified in the pol...
186
click to vote
ICC
2007
IEEE
16 years 13 days ago
2007
IEEE
— This paper deals with a system level design solution to support information gathering in the presence of a mobile querying node that experiences frequent disconnections from a ...
137
click to vote
CP
2007
Springer
16 years 9 days ago
2007
Springer
Salinity is the relative concentration of salts in water. In a city of southern China, the local water supply company pumps water from a nearby river for potable use. During the wi...
148
click to vote
IFM
2007
Springer
16 years 8 days ago
2007
Springer
In this paper, we introduce a common semantic framework for developing and formally modeling use cases and task models. Use cases are the notation of choice for functional require...