5465 search results - page 80 / 1093 » Assigning Types to Processes |
AAAI
2012
13 years 8 days ago
2012
Non-intrusive appliance load monitoring is the process of disaggregating a household’s total electricity consumption into its contributing appliances. In this paper we propose a...
COLING
1992
14 years 11 months ago
1992
This paper exanfines certain aspects of phonological structure from the viewpoint of ahstract data types, Our imnlediate goal is to find a format for l)honological representation ...
ENTCS
1998
14 years 9 months ago
1998
We obtain a new formalism for concurrent object-oriented languages by extending Abadi and Cardelli's imperative object calculus with operators for concurrency from the -calc...
FINTAL
2006
15 years 1 months ago
2006
Abstract. Every language employs its own coordination strategies, according to the type of coordinating marking, the pattern of marking, the position of the marker, and the phrase ...
ICEIS
2007
IEEE
14 years 11 months ago
2007
IEEE
The increasing dependence upon Information systems in the last few decades by businesses has resulted in concerns regarding auditing. IS auditing has changed from auditing “arou...