1855 search results - page 61 / 371 » Composing model programs for analysis |
136
click to vote
DFMA
2005
IEEE
15 years 8 months ago
2005
IEEE
Mobility study is composed by many research areas which one interests us : urban mobility. Urban movement study aims at looking and designing human displacements in an urban envir...
132
click to vote
ICCD
2005
IEEE
15 years 8 months ago
2005
IEEE
— With the success of formal verification techniques like equivalence checking and model checking for hardware designs, there has been growing interest in applying such techniqu...
156
Voted
GI
2004
Springer
15 years 8 months ago
2004
Springer
The model driven development is an interested area among software engineers as well as the agile development. In fact, combining model driven and agile practices is an interesting ...
109
Voted
ISBI
2007
IEEE
15 years 8 months ago
2007
IEEE
We present a method for tracking and distinguishing multiple C. elegans in a video sequence, including when they are in physical contact with one another. The worms are modeled wi...
104
Voted
ICESS
2007
Springer
15 years 8 months ago
2007
Springer
Embedded software requires concurrency formalisms other than threads and mutexes used in traditional programming languages like C. Actor-oriented design presents a high level abstr...