1638 search results - page 5 / 328 » Properties of input-consuming derivations |
ICSE
1995
IEEE-ACM
15 years 1 months ago
1995
IEEE-ACM
A requirement is a desired relationship among phenomena of the environment of a system, to be brought about by the hardware/software machine that will be constructed and installed...
FLAIRS
2007
15 years 2 days ago
2007
In this paper, we extend Moss and Parikh’s approach to reasoning about topological properties of knowledge. We turn that system in a spatio-temporal direction by successively ad...
FGCN
2008
IEEE
15 years 4 months ago
2008
IEEE
The home network system (HNS, for short) is comprised of networked home appliances, which achieves various value-added services for home users. Assuring safety of the HNS and the ...
CP
2008
Springer
14 years 11 months ago
2008
Springer
When implementing a propagator for a constraint, one must decide about variants: When implementing min, should one also implement max? Should one implement linear equations both wi...
FS
2010
14 years 8 months ago
2010
This paper considers a general reduced form pricing model for credit derivatives where default intensities are driven by some factor process X. The process X is not directly observ...