Sciweavers

C5
2010
IEEE
13 years 7 months ago
Activity-Aware Chat System Based on a Study of Distributed Collaborative Learning
— This paper presents a study of the learning process in a distance collaborative learning environment with a chat system and a Wiki, and development of a new chat system based o...
Tomoo Inoue
BIRTHDAY
2010
Springer
13 years 7 months ago
Specifying and Verifying Organizational Security Properties in First-Order Logic
In certain critical cases the data flow between business departments in banking organizations has to respect security policies known as Chinese Wall or Bell–La Padula. We show t...
Christoph Brandt, Jens Otten, Christoph Kreitz, Wo...
BIRTHDAY
2010
Springer
13 years 7 months ago
Second-Order Programs with Preconditions
Abstract. In the implementation of procedures, developers often assume that the input satisfies certain properties; for example, binary search assumes the array to be sorted. Such...
Markus Aderhold
BIRTHDAY
2010
Springer
13 years 7 months ago
Towards Declarative Query Scoping in Sensor Networks
Abstract. In the last decade, several large-scale wireless sensor networks have been deployed to monitor a variety of environments. The declarative nature of the database approach ...
Daniel Jacobi, Pablo Ezequiel Guerrero, Khalid Naw...
BIRTHDAY
2010
Springer
13 years 7 months ago
The Architecture Description Language MoDeL
m, modules, types and operations), different kinds of abstractions (functional/data, types/objects etc.) without falling into a loose collection of diagram languages. Considering a...
Peter Klein
ATC
2010
Springer
13 years 7 months ago
Improving the Trustworthiness of Service QoS Information in Service-Based Systems
Service-oriented architecture facilitates rapid development and management of large-scale distributed servicebased systems (SBS), where new workflows are composed of available serv...
Stephen S. Yau, Jing Huang, Yin Yin
ATC
2010
Springer
13 years 7 months ago
Agent-Augmented Co-Space: Toward Merging of Real World and Cyberspace
Co-Space refers to interactive virtual environment modelled after the real world we are situated in. Through realistic 3D modelling and animation technologies, Co-Space simulates t...
Ah-Hwee Tan, Yilin Kang
SAC
2008
ACM
13 years 8 months ago
Metropolis-Hastings algorithms with adaptive proposals
Bo Cai, Renate Meyer, François Perron
SAC
2008
ACM
13 years 8 months ago
Adaptive methods for sequential importance sampling with application to state space models
Abstract. In this paper we discuss new adaptive proposal strategies for sequential Monte Carlo algorithms--also known as particle filters--relying on new criteria evaluating the qu...
Julien Cornebise, Eric Moulines, Jimmy Olsson