12981 search results - page 2049 / 2597 » Model Checking (Abstract) |
227
click to vote
BIRTHDAY
2004
Springer
16 years 26 days ago
2004
Springer
This paper presents a new model for mobile processes in occam-π. A process, embedded anywhere in a dynamically evolving network, may suspend itself mid-execution, be safely discon...
149
Voted
CAISE
2004
Springer
16 years 26 days ago
2004
Springer
Abstract. In software engineering as well as in any engineering domain, a way of customizing the collaborative work to various modes of collaboration, i.e. synchronous and asynchro...
170
click to vote
ECCV
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. One of the most difficult aspects of visual object tracking is the handling of occlusions and target appearance changes due to variations in illumination and viewing dir...
203
click to vote
ECCV
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. In this paper we describe the application of a novel statistical videomodeling scheme to sequences of multiple sclerosis (MS) images taken over time. The analysis of the ...
228
click to vote
ECWEB
2004
Springer
16 years 25 days ago
2004
Springer
Abstract. The adoption of mobile technologies into companies frequently follows a technology -driven approach without precise knowledge about the potential benefits that may be rea...