12289 search results - page 338 / 2458 » System modeling with mixed object and data models |
214
click to vote
ENTCS
2007
15 years 6 months ago
2007
Bounded Model Checking (BMC) is a successful refutation method to detect errors in not only circuits and other binary systems but also in systems with more complex domains like ti...
156
click to vote
VLDB
1989
ACM
15 years 10 months ago
1989
ACM
An important direction in database research for non-standard applications (e.g. engineering or design applications) deals with adequate support for complex objects. Without doubt,...
174
click to vote
SIP
2003
15 years 8 months ago
2003
We describe the establishment of a compound object model for object recognition purposes which provides the frame for the extraction of object structure from images degraded by no...
178
click to vote
CAISE
2003
Springer
15 years 12 months ago
2003
Springer
We propose a kind of agent called probe-agent, which is responsible to collect and monitor the data and information according to its goals. On the other hand, it can summarize the ...
158
click to vote
FASE
2004
Springer
16 years 2 days ago
2004
Springer
Abstract. In this paper we present a novel approach for the predicative specification of user rights in the context of an object oriented use case driven development process. We e...