2935 search results - page 304 / 587 » An Integrated Approach to High Integrity Software Verificati... |
222
click to vote
EMISAIJ
2010
15 years 1 months ago
2010
Integrated process support is highly desirable in environments where data related to a particular business process are scattered over distributed, heterogeneous information system...
185
click to vote
EWSN
2009
Springer
16 years 7 months ago
2009
Springer
We describe the design and implementation of a public-key platform, secFleck, based on a commodity Trusted Platform Module (TPM) chip that extends the capability of a standard node...
163
click to vote
AGILEDC
2005
IEEE
16 years 6 days ago
2005
IEEE
Existing project planning software for agile development processes offers limited support for face-to-face, synchronous collaboration. In this paper, we describe an environment, A...
150
click to vote
SEKE
2005
Springer
16 years 1 days ago
2005
Springer
Mobile agents provide an effective and flexible style to develop advanced distributed systems. In order to promote interoperability and ensure the quality of mobile agent systems,...
157
click to vote
FASE
2010
Springer
15 years 11 months ago
2010
Springer
Software design models are routinely adapted to domains, companies, and applications. This requires customizable consistency checkers that allow engineers to dynamically adapt mode...