3555 search results - page 551 / 711 » Security-Critical System Development with Extended Use Cases |
112
click to vote
ECIS
2004
15 years 5 months ago
2004
E-learning is a new strategic arena for higher education, and higher education institutions (HEIs) need to acquire the necessary competencies and capabilities to participate. Thes...
126
Voted
WCE
2007
15 years 5 months ago
2007
—This paper presents the work carried out by CALPE team on the development of a mathematical model used in the study and simulation of the pantograph-catenarydynamic interaction ...
132
Voted
ERCIMDL
2010
Springer
15 years 5 months ago
2010
Springer
Given a set of keyphrases, we analyze how Web queries with these phrases can be formed that, taken altogether, return a specified number of hits. The use case of this problem is a ...
140
Voted
CORR
2008
Springer
15 years 4 months ago
2008
Springer
er presents an abstraction of Hoare logic to traced symmetric monoidal categories, a eral framework for the theory of systems. Our abstraction is based on a traced monoidal functor...
134
click to vote
INFSOF
2007
15 years 3 months ago
2007
An infrastructure is a set of interconnected structural elements, such as tools and schemas, that provide a framework for supporting an entire structure. The reverse engineering c...