Sciweavers

375 search results - page 10 / 75
» Unified Modeling Language 2.0
Sort
View
FAC
2006
104views more  FAC 2006»
13 years 8 months ago
Angelic nondeterminism in the unifying theories of programming
Hoare and He's unifying theories of programming (UTP) is a model of alphabetised relations expressed as predicates; it supports development in several programming paradigms. T...
Ana Cavalcanti, Jim Woodcock, Steve Dunne
ER
2007
Springer
167views Database» more  ER 2007»
14 years 15 days ago
An Unified Dynamic Description Logic Model for Databases: Relational Data, Relational Operations and Queries
The paper presents an unified Description Logic (DL) model for databases. Describing database models using DLs is a fundamental problem in many areas because it turns databases to...
Guoshun Hao, Shilong Ma, Yuefei Sui, Jianghua Lv
WSC
2008
13 years 11 months ago
Unifying simulation and optimization of strategic sourcing and transportation
Proposed and developed is a framework and an extensible library of simulation modeling components for strategic sourcing and transportation. The components include items, supplier...
Malak Al-Nory, Alexander Brodsky
ATAL
2008
Springer
13 years 10 months ago
Goals in agent systems: a unifying framework
In the literature on agent systems, the proactive behavior of agents is often modeled in terms of goals that the agents pursue. We review a number of commonly-used existing goal t...
M. Birna van Riemsdijk, Mehdi Dastani, Michael Win...
TKDE
1998
134views more  TKDE 1998»
13 years 8 months ago
Unified Data Model for Representing Multimedia, Timeline, and Simulation Data
—This paper describes a unified data model that represents multimedia, timeline, and simulation data utilizing a single set of related data modeling constructs. A uniform model f...
John D. N. Dionisio, Alfonso F. Cardenas