3483 search results - page 80 / 697 » Using Subject-Oriented Modeling to Develop Jini Applications |
123
click to vote
SPIN
2012
Springer
13 years 3 months ago
2012
Springer
We report on the application of SPIN for model-checking C source code which is generated out of a textual domain-specific language (DSL). We have built a tool which automatically ...
ANSS
2000
IEEE
15 years 5 months ago
2000
IEEE
A specification language was defined to outline sections of cities as cell spaces. The goal is to allow the definition of complex traffic models in a simple fashion for the modele...
125
click to vote
COORDINATION
2006
Springer
15 years 2 months ago
2006
Springer
Abstract. Enabling coordination among ubiquitous computing applicad resources requires programming abstractions and development tools tailored to this unique environment. This pape...
98
Voted
WSC
1998
15 years 2 months ago
1998
Many organisations have seen the use of simulation evolve, often in something of a piecemeal fashion. This may lead to some deficiencies in the way that simulation is employed. Th...
127
Voted
MICCAI
2009
Springer
15 years 10 months ago
2009
Springer
Modeling and analysis of MR images of the early developing human brain is a challenge because of the transient nature of different tissue classes during brain growth. To address th...