3706 search results - page 168 / 742 » OntoComP System Description |
226
click to vote
OOPSLA
2010
Springer
15 years 5 months ago
2010
Springer
Tribal Ownership unifies class nesting and object ownership. Tribal Ownership is based on Tribe, a language with nested classes and object families. In Tribal Ownership, a progra...
183
Voted
LOGCOM
2006
15 years 7 months ago
2006
Hybrid logics are a principled generalization of both modal logics and description logics. It is well-known that various hybrid logics without binders are decidable, but decision p...
177
Voted
HYBRID
2007
Springer
16 years 1 months ago
2007
Springer
This paper presents a motion description language (MDLp) for specifying and encoding autonomous puppetry plays in a manner that is faithful to the way puppetry choreography is curr...
171
Voted
OTM
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. The effective localization of the right resources is a challenging issue at the current stage of development of P2P systems in presence of a high number of peers providi...
242
click to vote
PRDC
2005
IEEE
16 years 1 months ago
2005
IEEE
This paper reports our experience on the development of a design-for-safety (DFS) workbench called Risk Assessment and Management Environment (RAME) for microelectronic avionics s...