Sciweavers

1648 search results - page 150 / 330
» Structuring namespace descriptions
Sort
View
CMOT
2000
128views more  CMOT 2000»
15 years 3 months ago
Ontologies to Support Process Integration in Enterprise Engineering
Enterprise design knowledge is currently descriptive, ad hoc, or pre-scientific. One reason for this state of affairs in enterprise design is that existing approaches lack an adeq...
Michael Grüninger, Katy Atefi, Mark S. Fox
CORR
1999
Springer
95views Education» more  CORR 1999»
15 years 3 months ago
Fixed-parameter tractability, definability, and model checking
In this article, we study parameterized complexity theory from the perspective of logic, or more specifically, descriptive complexity theory. We propose to consider parameterized ...
Jörg Flum, Martin Grohe
TCAD
1998
95views more  TCAD 1998»
15 years 3 months ago
High-precision interconnect analysis
— Integrated circuits have evolved to a stage where interconnections significantly limit their performance and functional complexity. We introduce a set of tools to perform high...
Rui Martins, Wolfgang Pyka, Rainer Sabelka, Siegfr...
121
Voted
PVM
2010
Springer
15 years 2 months ago
MPI Datatype Marshalling: A Case Study in Datatype Equivalence
MPI datatypes are a convenient abstraction for manipulating complex data structures and are useful in a number of contexts. In some cases, these descriptions need to be preserved o...
Dries Kimpe, David Goodell, Robert B. Ross
SERA
2010
Springer
15 years 2 months ago
A UML Based Deployment and Management Modeling for Cooperative and Distributed Applications
Thanks to the major evolutions in the communication technologies and in order to deal with a continuous increase in systems complexity, current applications have to cooperate to ac...
Mohammed Nadhmi Miladi, Fatma Krichen, Mohamed Jma...