3081 search results - page 111 / 617 » A Formal Ontology of Properties |
157
click to vote
DSOM
2005
Springer
15 years 12 months ago
2005
Springer
Current network management architectures are using different models to define management information objects. These definitions actually also include, in a non-formal way, the defi...
186
click to vote
ESWS
2006
Springer
15 years 10 months ago
2006
Springer
Classifications have been used for centuries with the goal of cataloguing and searching large sets of objects. In the early days it was mainly books; lately it has also become Web ...
178
click to vote
ESOP
2010
Springer
16 years 3 months ago
2010
Springer
Abstract. This paper is concerned with testing properties of polymorphic functions. The problem is that testing can only be performed on specific monomorphic instances, whereas par...
172
click to vote
DALT
2009
Springer
16 years 28 days ago
2009
Springer
What distinguishes multiagent systems from other software systems is their emphasis on the interactions among autonomous, heterogeneous agents. This paper motivates and characteriz...
143
click to vote
HPCC
2005
Springer
15 years 12 months ago
2005
Springer
Tuning parallel code can be a time-consuming and difficult task. We present our approach to automate the performance analysis of OpenMP applications that is based on the notion of ...