Sciweavers

5022 search results - page 714 / 1005
» Data structures and problem solving using Java
Sort
View
CONCUR
1999
Springer
15 years 7 months ago
Approximate Symbolic Model Checking of Continuous-Time Markov Chains
d abstract) Christel Baiera, Joost-Pieter Katoenb;c and Holger Hermannsc aLehrstuhl fur Praktische Informatik II, University of Mannheim 68131 Mannheim, Germany bLehrstuhl fur Info...
Christel Baier, Joost-Pieter Katoen, Holger Herman...
CIKM
1994
Springer
15 years 7 months ago
A Semantics Approach for KQML - A General Purpose Communication Language for Software Agents
We investigate the semantics for Knowledge Query Manipulation Language KQML and we propose a semantic framework for the language. KQML is a language and a protocol to support comm...
Yannis Labrou, Timothy W. Finin
IDMS
2000
Springer
131views Multimedia» more  IDMS 2000»
15 years 6 months ago
Spatially Aware Local Communication in the RAUM System
In this paper, we propose a new paradigm for local communication between devices in Ubiquitous Computing environments, assuming a multitude of computerized everyday appliances comm...
Felix Hupfeld, Michael Beigl
CORR
2008
Springer
105views Education» more  CORR 2008»
15 years 3 months ago
2-D Analysis of Enhancement of Analytes Adsorption Due to Flow Stirring by Electrothermal Force in The Microcantilever Sensor
Ac electrokinetic flows are commonly used for manipulating micron-scale particles in a biosensor system. At the solid-liquid state there are two kinds of processes in the reaction...
Ming-Chih Wu, Jeng-Shian Chang, Chih-Kai Yang
EOR
2010
119views more  EOR 2010»
15 years 3 months ago
Adaptive Tabu Search for course timetabling
This paper presents an Adaptive Tabu Search algorithm (denoted by ATS) for solving a problem of curriculum-based course timetabling. The proposed algorithm follows a general frame...
Zhipeng Lü, Jin-Kao Hao