Sciweavers

4255 search results - page 56 / 851
» Database: Models, Languages, Design
Sort
View
DATESO
2010
150views Database» more  DATESO 2010»
13 years 6 months ago
Modeling and Verification of Priority Assignment in Real-Time Databases Using Uppaal
Abstract. Real-time database management systems (RTDBMS) are recently subject of an intensive research. Model checking algorithms and verification tools are of great concern as wel...
Martin Kot
COLING
2008
13 years 10 months ago
Construction of an Infrastructure for Providing Users with Suitable Language Resources
Our research organization has been constructing a large scale database named SHACHI by collecting detailed meta information on language resources (LRs) in Asia and Western countri...
Hitomi Tohyama, Shunsuke Kozawa, Kiyotaka Uchimoto...
ADBIS
2000
Springer
119views Database» more  ADBIS 2000»
14 years 1 months ago
A Benchmarking Technique for DBMS's with Advanced Data Models
The majority of database benchmarks currently in use in the industry were designed for relational databases. A different class of benchmarks became required for object oriented dat...
Naphtali Rishe, Alexander Vaschillo, Dmitry Vasile...
JDM
2000
128views more  JDM 2000»
13 years 8 months ago
Distributed Database Design for Mobile Geographical Applications
Advanced Traveler Information Systems (ATIS) require e cient information retrieval and updating in a dynamic environment at di erent geographical scales. ATIS applications are use...
Manhoi Choy, Mei-Po Kwan, Hong Va Leong
AOSE
2004
Springer
14 years 2 months ago
AML: Agent Modeling Language Toward Industry-Grade Agent-Based Modeling
Abstract. The Agent Modeling Language (AML) is a semi-formal visual modeling language, specified as an extension to UML 2.0. It is a consistent set of modeling constructs designed...
Radovan Cervenka, Ivan Trencanský, Monique ...