2599 search results - page 264 / 520 » An Operational Semantics for Knowledge Bases |
173
click to vote
OTM
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. The goal of Model Management is the development of new technologies and mechanisms to support the integration, evolution and matching of models. Such tasks are to be perf...
184
click to vote
DASFAA
2006
IEEE
15 years 10 months ago
2006
IEEE
Abstract The Internet and the Web are increasingly used to disseminate fast changing data such as sensor data, traffic and weather information, stock prices, sports scores, and eve...
189
click to vote
FSS
2007
15 years 6 months ago
2007
Formal concept analysis and rough set theory are two important tools in knowledge representation and knowledge discovery in relational information systems. The purpose of this pap...
189
click to vote
JOT
2008
15 years 6 months ago
2008
Complex software systems possess concurrent and reactive behaviors requiring precise specifications prior to development. Lamport's transition axiom method is a formal specif...
173
click to vote
ASIAN
2004
Springer
15 years 12 months ago
2004
Springer
A central problem in extending the von Neumann architecture to petaflop computers with millions of hardware threads and with a shared memory is defining the memory model [Lam79,...