1988 search results - page 100 / 398 » Engineering formal metatheory |
KBSE
2000
IEEE
14 years 1 months ago
2000
IEEE
Little-JIL, a new language for programming the coordination of agents is an executable, high-level process programming language with a formal (yet graphical) syntax and rigorously...
FOIS
2006
13 years 10 months ago
2006
This article reflects an ongoing effort to systematize the use of terms applied by philosophers and computer scientists in the context of ontology and ontological engineering. We s...
CDVE
2007
Springer
14 years 3 months ago
2007
Springer
Nowadays, collaborative product development has become a strategic necessity to develop high quality products at low cost and with quick response time to market demand. Past decade...
ESWS
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. Creating a coherent set of ontologies to support a collaborative design process amongst different firms which develop mechatronic products is a challenge due to the seman...
WIKIS
2006
ACM
14 years 2 months ago
2006
ACM
Ontologies are consensual representations of a domain of discourse and the backbone of the future Semantic Web. Currently, however, only a fraction of Web users can take part in t...