8056 search results - page 205 / 1612 » Object Behavior Analysis |
172
click to vote
ICCL
1994
IEEE
15 years 10 months ago
1994
IEEE
This paper presents a framework to define a semantics for a real-time object-orientation programming language and to verify programs written in the language. The semantics is defi...
206
click to vote
MAGS
2010
15 years 1 months ago
2010
This paper analyzes sequential auctions for budget constrained bidders, for multiple heterogeneous common value objects. In most auctions, bidders not only have valuations for obj...
144
click to vote
RE
2007
Springer
16 years 19 days ago
2007
Springer
In industrial requirements documents natural language is the main presentation means. In such documents, system behavior is specified in the form of scenarios, written as a seque...
175
click to vote
ASPDAC
1999
ACM
15 years 11 months ago
1999
ACM
: This paper presents a genetic algorithm based approach for algebraic optimization of behavioral system specifications. We introduce a chromosomal representation of data-flow gr...
160
click to vote
FSKD
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. It is difficult to understand a scene from visual information in uncertain real world. Since Bayesian network (BN) is known as good in this uncertainty, it has received s...