2111 search results - page 134 / 423 » How to Program Pervasive Systems |
101
Voted
IWPC
1999
IEEE
15 years 5 months ago
1999
IEEE
In a typical COBOL program, the data division consists of 50% of the lines of code. Automatic type inference can help to understand the large collections of variable declarations ...
126
Voted
JOLLI
2008
15 years 21 days ago
2008
This paper adds temporal logic to public announcement logic (PAL) and dynamic epistemic logic (DEL). By adding a previous-time operator to PAL, we express in the language statemen...
102
Voted
LISP
2008
15 years 21 days ago
2008
We describe the use of a flexible meta-interpreter for performing access control checks on deductive databases. The meta-program is implemented in Prolog and takes as input a datab...
DAC
2002
ACM
16 years 1 months ago
2002
ACM
Linear programming (LP) in its many forms has proven to be an indispensable tool for expressing and solving optimization problems in numerous domains. We propose the first set of ...
75
Voted
HICSS
2007
IEEE
15 years 7 months ago
2007
IEEE
Storytelling is an innate human characteristic. Stories are used to manage meaning, control behavior, and facilitate identification and bonding [9]. The theory of identification a...