3819 search results - page 542 / 764 » An Outsourcing Model of Software Development |
146
click to vote
CORR
2002
Springer
15 years 5 months ago
2002
Springer
We provide the first classification of different types of Random Boolean Networks (RBNs). We study the differences of RBNs depending on the degree of synchronicity and determinism...
IFE
2002
15 years 5 months ago
2002
In this article we introduce two new generative approaches of animated computational models. These approaches are applied in context of educational software systems for compiler de...
159
click to vote
ISCA
2002
IEEE
15 years 5 months ago
2002
IEEE
This paper introduces the Simulation Architecture Description Language (SADL) developed at the National Aeronautics and Space Administration's Marshall Space Flight Center to...
176
click to vote
USAB
2010
15 years 4 months ago
2010
We investigate people’s attitudes towards the possible use of mobile negotiation support systems (NSS) in different social contexts and the consequences for their design. For tha...
142
click to vote
COMPSEC
2010
15 years 2 months ago
2010
Spi Calculus is an untyped high level modeling language for security protocols, used for formal protocols specification and verification. In this paper, a type system for the Spi ...