Sciweavers

933 search results - page 64 / 187
» A Data Model to Support End User Software Engineering
Sort
View
APSEC
2000
IEEE
14 years 11 days ago
A GUI and testing tool for SOFL
SOFL is a formal language and method for system specification and design. As a language it is an integration of Petri nets, Data Flow Diagrams, and VDM-SL. As a method it is a com...
Shaoying Liu, Tetsuo Fukuzaki, Koji Miyamoto
INFSOF
2008
98views more  INFSOF 2008»
13 years 8 months ago
Engineering contextual knowledge for autonomic pervasive services
Services for mobile and pervasive computing should extensively exploit contextual information both to adapt to user needs and to enable autonomic behavior. This raises the problem...
Gabriella Castelli, Marco Mamei, Franco Zambonelli
EEMMAS
2007
Springer
14 years 2 months ago
Engineering Contextual Information for Pervasive Multiagent Systems
Multiagent systems for mobile and pervasive computing should extensively exploit contextual information both to adapt to user needs and to enable autonomic behavior. This raises th...
Gabriella Castelli, Marco Mamei, Franco Zambonelli
SIGCOMM
2006
ACM
14 years 2 months ago
Planet scale software updates
Fast and effective distribution of software updates (a.k.a. patches) to millions of Internet users has evolved into a critical task over the last years. In this paper, we characte...
Christos Gkantsidis, Thomas Karagiannis, Milan Voj...
WSC
2008
13 years 11 months ago
Empowering decision support with simulation technology - Scenario Navigator
The commercial simulation environments that are available today focus primarily on the development of simulation models. They are designed for a single user. They provide animatio...
Edwin Valentin, Renk A. Bijlsma, Vincent de Gast