Sciweavers

3919 search results - page 675 / 784
» Modelling Dynamic Forgetting in Distributed Information Syst...
Sort
View
ASYNC
1998
IEEE
110views Hardware» more  ASYNC 1998»
15 years 6 months ago
Analyzing Specifications for Delay-Insensitive Circuits
We present the XDI Model for specifying delay-insensitive circuits, that is, reactive systems that correctly exchange signals with their environment in spite of unknown delays inc...
Tom Verhoeff
WSC
2007
15 years 4 months ago
IFAO-SIMO: a spatial-simulation based facility network optimization framework
This paper describes an innovative framework, iFAOSimo, which integrates optimization, simulation and GIS (geographic information system) techniques to handle complex spatial faci...
Ming Xie, Wei Wang, Wen Jun Yin, Jin Dong
124
Voted
ACMICEC
2008
ACM
243views ECommerce» more  ACMICEC 2008»
15 years 4 months ago
Quality aspects in service ecosystems: areas for exploitation and exploration
Service Science, Management, and Engineering (SSME) is a research area with significant relevance to research and practice. Networked systems of web services are a field of servic...
Christoph Riedl, Tilo Böhmann, Michael Rosema...
ATAL
2010
Springer
15 years 3 months ago
Augmenting appearance-based localization and navigation using belief update
Appearance-based localization compares the current image taken from a robot's camera to a set of pre-recorded images in order to estimate the current location of the robot. S...
George Chrysanthakopoulos, Guy Shani
JUCS
2008
172views more  JUCS 2008»
15 years 2 months ago
Formal Action Semantics for a UML Action Language
Abstract: The abstract syntax and static semantics of UML, the widely-used generalpurpose graphical modeling language, have been standardized in a four-layer metamodeling framework...
Mikai Yang, Greg J. Michaelson, Rob Pooley