5525 search results - page 1020 / 1105 » Verification of Model Transformations |
99
Voted
BIOCOMP
2006
15 years 2 months ago
2006
act Nowadays people are strongly dependent on cars for doing their tasks, but they usually are not aware of hazards which are awaiting them. For instance, since people travel with ...
127
click to vote
DATESO
2004
15 years 2 months ago
2004
The XML language have been becoming de-facto a standard for representation of heterogeneous data in the Internet. From database point of view, XML is a new approach to data modelli...
110
click to vote
CSC
2006
2006
An Adaptive Method for Flow Simulation in Three-Dimensional Heterogeneous Discrete Fracture Networks
15 years 2 months ago
Natural fractured media are highly unpredictable because of existing complex structures at the fracture and at the network levels. Fractures are by themselves heterogeneous objects...
85
Voted
ECIS
2004
15 years 2 months ago
2004
Being part of a larger research program, this paper focuses on the impacts of so-called 'Digital Video Recorders' (DVRs) on the video content services industry. First, i...
118
click to vote
DLT
2006
15 years 2 months ago
2006
Abstract. Boolean grammars [A. Okhotin, Information and Computation 194 (2004) 19-48] are a promising extension of context-free grammars that supports conjunction and negation. In ...