Sciweavers

336 search results - page 35 / 68
» Automatic Discovery of Manner Relations and its Applications
Sort
View
FASE
2004
Springer
14 years 1 months ago
A Formal Treatment of Context-Awareness
Context-aware computing refers to a computing paradigm in which the behavior of individual components is determined by the circumstances in which they find themselves to an extent...
Gruia-Catalin Roman, Christine Julien, Jamie Payto...
ASPDAC
1999
ACM
117views Hardware» more  ASPDAC 1999»
14 years 25 days ago
Analysing Forced Oscillators with Multiple Time Scales
We present a novel formulation, called the WaMPDE, for solving systems with forced autonomous components. An important feature of the WaMPDE is its ability to capture frequency mo...
Onuttom Narayan, Jaijeet S. Roychowdhury
PST
2008
13 years 10 months ago
Encoding the Program Correctness Proofs as Programs in PCC Technology
One of the key issues with the practical applicability of Proof-Carrying Code (PCC) and its related methods is the difficulty in communicating and storing the proofs which are inh...
Heidar Pirzadeh, Danny Dubé
JCT
2007
70views more  JCT 2007»
13 years 8 months ago
Integrals, partitions and MacMahon's Theorem
In two previous papers, the study of partitions with short sequences has been developed both for its intrinsic interest and for a variety of applications. The object of this paper...
George Andrews, Henrik Eriksson, Fedor Petrov, Dan...
DEXA
2005
Springer
112views Database» more  DEXA 2005»
14 years 2 months ago
Distribution Rules for Array Database Queries
Abstract. Non-trivial retrieval applications involve complex computations on large multi-dimensional datasets. These should, in principle, benefit from the use of relational datab...
Alex van Ballegooij, Roberto Cornacchia, Arjen P. ...