19367 search results - page 139 / 3874 » Fine-Grain Process Modelling |
106
click to vote
LICS
2000
IEEE
15 years 7 months ago
2000
IEEE
We study syntax-free models for name-passing processes. For interleaving semantics, we identify the indexing structure required of an early labelled transition system to support t...
118
Voted
CEC
2005
IEEE
15 years 8 months ago
2005
IEEE
This paper presents a study on Hierarchical Surrogate-Assisted Evolutionary Algorithm (HSAEA) using different global surrogate models for solving computationally expensive optimiza...
131
Voted
CW
2003
IEEE
15 years 7 months ago
2003
IEEE
Current BtoC recommendation services utilize consumers’ purchased log as criteria for selecting information, yet it includes little information of the reason why he bought the i...
124
Voted
TACAS
2000
Springer
15 years 6 months ago
2000
Springer
This paper reports on experimental results with symbolic model checking of probabilistic processes based on Multi-Terminal Binary Decision Diagrams (MTBDDs). We consider concurrent...
99
Voted
PUC
2002
15 years 2 months ago
2002
Location is one of the most important elements of context in ubiquitous computing. In this paper we describe a location model, a spatial-aware communication model and an implement...