9412 search results - page 1763 / 1883 » An aspect-oriented generative approach |
155
click to vote
TABLETOP
2008
IEEE
16 years 23 days ago
2008
IEEE
In this paper we describe a method to support interaction with a cellphone based projectorcamera system. We describe a novel approach that uses a technique known in Computer Visio...
199
click to vote
TPHOL
2008
IEEE
16 years 23 days ago
2008
IEEE
g to the well-known “LCF approach” of secure inferences as abstract datatype constructors in ML [16]; explicit proof terms are also available [8]. Isabelle/Isar provides sophis...
213
click to vote
AB
2008
Springer
16 years 23 days ago
2008
Springer
A specific class of ODEs has been shown to be adequate to describe the essential features of the complex dynamics of Gene-Regulatory Networks (GRN). But, the effective exploitatio...
171
click to vote
ACNS
2008
Springer
16 years 23 days ago
2008
Springer
Abstract. Very recently, the concept of Traceable Identity-based Encryption (IBE) scheme (or Accountable Authority Identity based Encryption scheme) was introduced in Crypto 2007. ...
183
click to vote
ANSS
2007
IEEE
16 years 22 days ago
2007
IEEE
During the last few years, continuous progresses in wireless communications have opened new research fields in computer networking, aimed at extending data networks connectivity ...