Sciweavers

7209 search results - page 658 / 1442
» Software Engineering for Multi-Agent Systems
Sort
View
EUROMICRO
1997
IEEE
15 years 10 months ago
The Harpoon security system for helper programs on a Pocket Companion
In this paper we present a security framework for executing foreign programs, called helpers, on a Pocket Companion: a wireless hand-held computer. A helper program as proposed is...
Gerard J. M. Smit, Paul J. M. Havinga, Daniël...
EUROMICRO
2009
IEEE
15 years 10 months ago
SuGI - Portal and Training Systems for Grid Middlewares
Grid computing is a research and development topic, currently getting much attention. As a result, new ideas as well as research and project results are being produced at a very h...
Joachim Götze, Bernd Reuther, Paul Mülle...
CODES
2000
IEEE
15 years 9 months ago
On the roles of functions and objects in system specification
We present an analysis of the benefits and drawbacks of function and object based models in system specification. Functional models should be used for functional design space expl...
Axel Jantsch, Ingo Sander
FASE
2000
Springer
15 years 9 months ago
Parallel Refinement Mechanisms for Real-Time Systems
This paper discusses highly general mechanisms for specifying the refinement of a real-time system as a collection of lower level parallel components that preserve the timing and f...
Paul Z. Kolano, Richard A. Kemmerer, Dino Mandriol...
141
Voted
AVI
2008
15 years 8 months ago
SparTag.us: a low cost tagging system for foraging of web content
Tagging systems such as del.icio.us and Diigo have become important ways for users to organize information gathered from the Web. However, despite their popularity among early ado...
Lichan Hong, Ed Huai-hsin Chi, Raluca Budiu, Peter...