Sciweavers

1738 search results - page 80 / 348
» Matching Reviews to Objects using a Language Model
Sort
View
129
Voted
FMICS
2007
Springer
15 years 9 months ago
Checking the TWIN Elevator System by Translating Object-Z to SMV
In the context of large scale industrial installations, model checking often fails to tap its full potential because of a missing link between a system’s specification and its f...
Sören Preibusch, Florian Kammüller
120
Voted
PLDI
1997
ACM
15 years 7 months ago
Generational Garbage Collection and the Radioactive Decay Model
If a fixed exponentially decreasing probability distribution function is used to model every object’s lifetime, then the age of an object gives no information about its future ...
William D. Clinger, Lars Thomas Hansen
115
Voted
ICMCS
2006
IEEE
135views Multimedia» more  ICMCS 2006»
15 years 9 months ago
Inquiring of the Sights from the Web via Camera Mobiles
In this paper, we presented an image search service for mobile users. It can be used to acquire related information by taking and sending pictures to the server, for example, gett...
Yinghua Zhou, Xin Fan, Xing Xie, Yuchang Gong, Wei...
131
Voted
TOOLS
2000
IEEE
15 years 8 months ago
A Method for the Design and Development of Distributed Applications Using UML
With this contribution we present a design and development method for distributed applications, which are running on top of advanced object middleware platforms. We introduce the ...
Marc Born, Eckhardt Holz, Olaf Kath
164
Voted
TOOLS
1998
IEEE
15 years 7 months ago
Modeling Dynamic Component Interfaces
In this paper we adopt a component model based on object-oriented systems, introducing the concepts of components and their structure. A component consists of a dynamically changi...
Franz Huber, Andreas Rausch, Bernhard Rumpe