Sciweavers

9370 search results - page 382 / 1874
» An Abstract Notion of Application
Sort
View
MA
1999
Springer
105views Communications» more  MA 1999»
15 years 11 months ago
The JavaSeal Mobile Agent Kernel
JavaSeal is a secure mobile agent kernel that provides a small set of abstractions for constructing agent applicahis paper describes the design of these abstractions and their imp...
Ciarán Bryce, Jan Vitek
MOC
1998
104views more  MOC 1998»
15 years 6 months ago
Chaos in the Lorenz equations: A computer assisted proof. Part II: Details
Abstract. Details of a new technique for obtaining rigorous results concerning the global dynamics of nonlinear systems is described. The technique abstract existence results based...
Konstantin Mischaikow, Marian Mrozek
174
Voted
JCSS
2011
81views more  JCSS 2011»
15 years 1 months ago
Representing real numbers in a generalized numeration system
Abstract. We show how to represent an interval of real numbers in an abstract numeration system built on a language that is not necessarily regular. As an application, we consider ...
Emilie Charlier, Marion Le Gonidec, Michel Rigo
COMMA
2008
15 years 8 months ago
Argument Theory Change: Revision Upon Warrant
Abstract. We propose an abstract argumentation theory whose dynamics is captured by the application of belief revision concepts. The theory is deemed as abstract because both the u...
Nicolás D. Rotstein, Martín O. Mogui...
163
Voted
ICDCS
2002
IEEE
15 years 11 months ago
OS Support for P2P Programming: a Case for TPS
Just like Remote Procedure Call (RPC) turned out to be a very effective OS abstraction in building client-server applications over LANs, Type-based Publish-SubTPS) can be viewed a...
Sébastien Baehni, Patrick Th. Eugster, Rach...