Sciweavers

1738 search results - page 80 / 348
» Matching Reviews to Objects using a Language Model
Sort
View
FMICS
2007
Springer
16 years 11 days 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
PLDI
1997
ACM
15 years 10 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
ICMCS
2006
IEEE
135views Multimedia» more  ICMCS 2006»
16 years 7 days 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...
TOOLS
2000
IEEE
15 years 10 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
TOOLS
1998
IEEE
15 years 10 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