Sciweavers

4378 search results - page 578 / 876
» On the Complexity of Ordered Colourings
Sort
View
CAISE
2004
Springer
16 years 4 days ago
Enriching Ontology Languages Adequacy for eBusiness Domain
Abstract. The definition of a domain ontology is a complex activity that requires two kinds of expertise: a deep knowledge of the domain to be modeled and a good level of familiari...
Michele Missikoff, Federica Schiappelli
CMSB
2004
Springer
16 years 4 days ago
Combining State-Based and Scenario-Based Approaches in Modeling Biological Systems
Biological systems have recently been shown to share many of the properties of reactive systems. This observation has led to the idea of using methods devised for the construction ...
Jasmin Fisher, David Harel, E. Jane Albert Hubbard...
CP
2004
Springer
16 years 4 days ago
Leveraging the Learning Power of Examples in Automated Constraint Acquisition
Constraint programming is rapidly becoming the technology of choice for modeling and solving complex combinatorial problems. However, users of constraint programming technology nee...
Christian Bessière, Remi Coletta, Eugene C....
CSL
2004
Springer
16 years 4 days ago
Subtyping Union Types
Subtyping rules can be fairly complex for union types, due to interactions with other types, such as function types. Furthermore, these interactions turn out to depend on the calc...
Jerome Vouillon
ECOOP
2004
Springer
16 years 3 days ago
Parametric Aspects: A Proposal
Abstract. Aspect-Oriented Software Development (AOSD) provides better design solutions to problems where Object Oriented Development produces tangled and scattered designs. Neverth...
Jordi Alvarez Canal