Sciweavers

5227 search results - page 387 / 1046
» Enterprise modeling using class and instance models
Sort
View
WWW
2007
ACM
16 years 7 months ago
Explorations in the use of semantic web technologies for product information management
Master data refers to core business entities a company uses repeatedly across many business processes and systems (such as lists or hierarchies of customers, suppliers, accounts, ...
Chen Wang, Daniel C. Wolfson, Jean-Sébastie...
CORR
2008
Springer
141views Education» more  CORR 2008»
15 years 7 months ago
Model checking memoryful linear-time logics over one-counter automata
We study complexity of the model-checking problems for LTL with registers (also known as freeze LTL and written LTL ) and for first-order logic with data equality tests (written F...
Stéphane Demri, Ranko Lazic, Arnaud Sangnie...
193
Voted
DSRT
2006
IEEE
16 years 27 days ago
Grid-enabling FIRST: Speeding Up Simulation Applications Using WinGrid
The vision of grid computing is to make computational power, storage capacity, data and applications available to users as readily as electricity and other utilities. Grid infrast...
Navonil Mustafee, Anders Alstad, Bjorn Larsen, Sim...
COCOON
2007
Springer
16 years 1 months ago
Dimension, Halfspaces, and the Density of Hard Sets
We use the connection between resource-bounded dimension and the online mistake-bound model of learning to show that the following classes have polynomial-time dimension zero.
Ryan C. Harkins, John M. Hitchcock
IWPC
2007
IEEE
16 years 1 months ago
A Hybrid Program Model for Object-Oriented Reverse Engineering
A commonly used strategy to address the scalability challenge in object-oriented reverse engineering is to synthesize coarse-grained representations, such as package diagrams. How...
Michael W. Godfrey