3801 search results - page 168 / 761 » An Approach to Modeling Software Safety |
126
click to vote
KBSE
2005
IEEE
15 years 10 months ago
2005
IEEE
Model merging is an important activity in software development. We often need to integrate a set of models coming from different sources so as to create a unified model encompass...
121
click to vote
JUCS
2007
15 years 4 months ago
2007
: Educational Modeling Languages (EMLs) have been proposed to support the modeling of educational units. Currently, there are some EML proposals devoted to provide a computational ...
135
click to vote
FORTE
2008
15 years 6 months ago
2008
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
135
click to vote
WISE
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. E-Negotiation is the process of conducting negotiations between business partners using electronic means. The interest in e-negotiation is motivated by its potential to p...
124
click to vote
PERVASIVE
2005
Springer
15 years 10 months ago
2005
Springer
In this paper, we describe TinyObj service discovery model, which uses short wireless packet broadcasts for service discovery within a user’s vicinity. We present a prototype im...