Sciweavers

6040 search results - page 290 / 1208
» Generating Instance Models from Meta Models
Sort
View
ECBS
2004
IEEE
129views Hardware» more  ECBS 2004»
15 years 4 months ago
Closing the Gap Between Software Modelling and Code
If a software implementation is to be generated fully automatically from a model, then the model must be detailed and totally complete. For the definition of software implementing...
Ferdinand Wagner, T. Wagner, Peter Wolstenholme
99
Voted
WEBDB
2009
Springer
124views Database» more  WEBDB 2009»
15 years 7 months ago
Bridging the Terminology Gap in Web Archive Search
Web archives play an important role in preserving our cultural heritage for future generations. When searching them, a serious problem arises from the fact that terminology evolve...
Klaus Berberich, Srikanta J. Bedathur, Mauro Sozio...
CAV
2004
Springer
154views Hardware» more  CAV 2004»
15 years 4 months ago
Automatic Verification of Sequential Consistency for Unbounded Addresses and Data Values
Sequential consistency is the archetypal correctness condition for the memory protocols of shared-memory multiprocessors. Typically, such protocols are parameterized by the number ...
Jesse D. Bingham, Anne Condon, Alan J. Hu, Shaz Qa...
HT
1991
ACM
15 years 4 months ago
Implementing Hypertext Database Relationships through Aggregations and Exceptions
In order to combine hypertext with database facilities, we show how to extract an effective storage structure from given instance relationships. The schema of the structure recogn...
Yoshinori Hara, Arthur M. Keller, Gio Wiederhold
SIMULATION
2002
118views more  SIMULATION 2002»
15 years 5 days ago
Simulation of Tactical Communications Systems by Inferring Detailed Data from the Joint Theater-Level Computer-Aided Exercises
- In this paper, a new scheme for the simulation of tactical communications systems is introduced where the mobility, call and availability patterns for the communications equipmen...
Erdal Cayirci, Cem Ersoy