Sciweavers

4476 search results - page 378 / 896
» Modeling software architectures in the Unified Modeling Lang...
Sort
View
ICSE
2009
IEEE-ACM
16 years 1 months ago
Integrating sustainability in decision-making processes: A modelling strategy
One of the most difficult problems that humanity currently faces is the sustainable development of our society, i.e. how to meet the needs of the present without compromising the...
Jordi Cabot, Steve M. Easterbrook, Jennifer Horkof...
CP
2005
Springer
16 years 12 days ago
AND/OR Branch-and-Bound for Solving Mixed Integer Linear Programming Problems
Abstract. AND/OR search spaces have recently been introduced as a unifying paradigm for advanced algorithmic schemes for graphical models. The main virtue of this representation is...
Radu Marinescu 0002, Rina Dechter
158
Voted
SFM
2004
Springer
118views Formal Methods» more  SFM 2004»
16 years 6 days ago
On the Semantic Foundations of Standard UML 2.0
This paper provides an overview of the foundations of the run-time semantics underlying the Unified Modeling Language as defined in revision 2.0 of the official OMG standard. One o...
Bran Selic
189
Voted
ICALT
2007
IEEE
15 years 8 months ago
A Collaborative Medical Case Authoring Environment Based on UMLS
In this paper, we present a novel collaborative authoring tool that was designed to allow medical teachers to formalize and visualize their knowledge for medical intelligent tutor...
Siriwan Suebnukarn, Phattanapon Rhienmora, Peter H...
JBI
2008
169views Bioinformatics» more  JBI 2008»
15 years 6 months ago
A collaborative medical case authoring environment based on the UMLS
In this paper, we present a novel collaborative authoring tool that was designed to allow medical teachers to formalize and visualize their knowledge for medical intelligent tutor...
Siriwan Suebnukarn, Peter Haddawy, Phattanapon Rhi...