Sciweavers

2887 search results - page 159 / 578
» Name Generation and Linearity
Sort
View
JELIA
2004
Springer
15 years 12 months ago
On the Relation Between ID-Logic and Answer Set Programming
This paper is an analysis of two knowledge representation extensions of logic programming, namely Answer Set Programming and ID-Logic. Our aim is to compare both logics on the leve...
Maarten Mariën, David Gilis, Marc Denecker
DEXAW
1999
IEEE
128views Database» more  DEXAW 1999»
15 years 10 months ago
Trends and Future of Mobile Computing
Networking homes, offices, cars and hand-held computers is the current trend of distributed mobile computing. The ever growing demand of the enterprise for integrating new technol...
Andry Rakotonirainy
CAISE
2006
Springer
15 years 10 months ago
Translating Standard Process Models to BPEL
Standardisation of languages in the field of business process management has long been an elusive goal. Recently though, consensus has built around one process implementation langu...
Chun Ouyang, Marlon Dumas, Stephan Breutel, Arthur...
PDPTA
2004
15 years 7 months ago
MP-Cluma - A CORBA Based Cluster Management Tool
There are many underlying hardware architectures for execution of parallel applications. One of these is the Network of Workstations (NOW) which is an interesting solution for use...
Silke Schuch, Martin Pöppe
AIME
2011
Springer
14 years 6 months ago
The FMA in OWL 2
Representing the Foundational Model of Anatomy (FMA) in OWL 2 is essential for semantic interoperability. The paper describes the method and tool used to formalize the FMA in OWL 2...
Christine Golbreich, Julien Grosjean, Stéfa...