4870 search results - page 252 / 974 » Construction of Wavelets and Applications |
151
click to vote
ATAL
2007
Springer
16 years 25 days ago
2007
Springer
This paper proposes programming constructs to improve the practical application of existing BDI-based agent-oriented programming languages that have formal semantics. The proposed...
175
click to vote
PKC
2007
Springer
16 years 23 days ago
2007
Springer
Abstract. Direct anonymous attestation (DAA) is an anonymous authentication scheme adopted by the Trusted Computing Group in its specifications for trusted computing platforms. Th...
159
click to vote
LICS
2005
IEEE
16 years 6 days ago
2005
IEEE
The theory of reactive systems, introduced by Leifer and Milner and previously extended by the authors, allows the derivation of well-behaved labelled transition systems (LTS) for...
165
click to vote
INFOCOM
2002
IEEE
15 years 11 months ago
2002
IEEE
—The development and deployment of distributed network-aware applications and services require the ability to compile and maintain a model of the underlying network resources wit...
206
click to vote
LCTRTS
1998
Springer
15 years 11 months ago
1998
Springer
The embedded real-time software systems encountered in applications such as telecommunications, aerospace, and defense typically tend to be large and extremely complex. It is cruc...