1763 search results - page 53 / 353 » A Formalization of Polytime Functions |
ACL
2009
14 years 7 months ago
2009
This paper describes our system for generating Chinese aspect expressions. In the system, the semantics of different aspects is characterized by specific temporal and conceptual f...
LCN
2005
IEEE
15 years 3 months ago
2005
IEEE
— As Service Discovery Protocols (SDP) are becoming increasingly important for ubiquitous computing, they must behave according to predefined principles. We present the function...
IFL
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. We describe the architecture of a virtual machine for executing functional logic programming languages. A distinguishing feature of our machine is that it preserves the o...
MMMACNS
2001
Springer
15 years 2 months ago
2001
Springer
Abstract. We present a new model that provides clear and precise semantics for authorization. The semantics is independent from underling security mechanisms and is separate from i...
ER
2010
Springer
14 years 8 months ago
2010
Springer
Abstract. We demonstrate the manner in which high-level design requirements, e.g., as they correspond to the commonsensical conceptualisation of expert designers, may be formally s...