4074 search results - page 10 / 815 » Hardware Modelling and Simulation Using an Object-Oriented M... |
213
click to vote
SCAM
2002
IEEE
15 years 10 months ago
2002
IEEE
Dynamic program slicing is an effective technique for narrowing the errors to the relevant parts of a program when debugging. Given a slicing criterion, the dynamic slice contains...
177
Voted
ENTCS
2008
15 years 5 months ago
2008
The Event-B method is a formal approach to modelling systems, using refinement. Initial specification is a high level of abstraction; detail is added in refinement steps as the de...
182
Voted
DOOD
1997
Springer
15 years 10 months ago
1997
Springer
Abstract. We present a well-founded semantics for deductive objectoriented database (dood) languages by applying the alternating- xpoint characterization of the well-founded model ...
170
Voted
OTM
2005
Springer
15 years 11 months ago
2005
Springer
: The paper presents a solution of the problem of wrapping relational databases to an object-oriented business model in the data grid architecture. The main problem with this kind ...
145
Voted
ICALT
2005
IEEE
15 years 11 months ago
2005
IEEE
Software development is knowledge-intensive as well as collaborative work carried out by several persons. In this type of education, project-based exercises are conducted in order ...