2165 search results - page 300 / 433 » Cooperative Software Development: Concepts, Model and Tools |
192
Voted
SSIAI
2002
IEEE
15 years 12 months ago
2002
IEEE
A volumetric image segmentation algorithm has been developed and implemented by extending a 2D algorithm based on Active Shape Models. The new technique allows segmentation of 3D ...
210
click to vote
ICFEM
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. We develop a way of analyzing the behavior of systems modeled using Discrete Time Markov Chains (DTMC). Specifically, we define iLTL, an LTL with linear inequalities on...
217
Voted
BIBE
2007
IEEE
15 years 11 months ago
2007
IEEE
Multi-state molecules and multi-component complexes are commonly involved in cellular signaling. Accounting for molecules that have multiple potential states, such as a protein tha...
203
click to vote
UML
1998
Springer
15 years 11 months ago
1998
Springer
The Uni ed Modeling Language UML is rapidly emerging as a de-facto standard for modelling OO systems. Given this role, it is imperative that the UML needs a well-de ned, fully expl...
240
Voted
ECMDAFA
2009
Springer
16 years 1 months ago
2009
Springer
The need for a design language that is rigorous but accessible and intuitive is often at odds with the formal and mathematical nature of languages used for analysis. UML and Petri ...