Sciweavers

4126 search results - page 17 / 826
» Relationships with other Formalisms
Sort
View
DEXAW
1999
IEEE
137views Database» more  DEXAW 1999»
15 years 2 months ago
Reasoning with Enhanced Temporal Entity-Relationship Models
Recent efforts in the Conceptual Modelling community have been devoted to properly capturing time-varying information, and several proposals of temporally enhanced Entity-Relation...
Alessandro Artale, Enrico Franconi
73
Voted
ER
2000
Springer
112views Database» more  ER 2000»
15 years 1 months ago
Ontological Analysis of Taxonomic Relationships
Taxonomies are an important part of conceptual modeling. They provide substantial structural information, and are typically the key elements in integration eorts, however there ha...
Nicola Guarino, Christopher A. Welty
EUMAS
2006
14 years 11 months ago
Norm-Oriented Programming of Electronic Institutions: A Rule-based Approach
Norms constitute a powerful coordination mechanism among heterogeneous agents. We propose means to specify and explicitly manage the normative positions of agents (permissions, pro...
Andrés García-Camino, Juan A. Rodr&i...
71
Voted
SAS
2009
Springer
162views Formal Methods» more  SAS 2009»
15 years 10 months ago
Interval Polyhedra: An Abstract Domain to Infer Interval Linear Relationships
Polyhedra: An Abstract Domain to Infer Interval Linear Relationships Liqian Chen1,2 , Antoine Min?e2,3 , Ji Wang1 , and Patrick Cousot2,4 1 National Laboratory for Parallel and Dis...
Antoine Miné, Ji Wang, Liqian Chen, Patrick...
HICSS
2009
IEEE
121views Biometrics» more  HICSS 2009»
15 years 4 months ago
People Sensemaking and Relationship Building on an Enterprise Social Network Site
This paper describes a social network site designed to support employees within an enterprise in connecting and learning about each other through personal and professional sharing...
Joan Morris DiMicco, Werner Geyer, David R. Millen...