Sciweavers

4048 search results - page 116 / 810
» Design Science, Engineering Science and Requirements Enginee...
Sort
View
117
Voted
ICFEM
2007
Springer
15 years 6 months ago
Formal Engineering of XACML Access Control Policies in VDM++
We present a formal, tool-supported approach to the design and maintenance of access control policies expressed in the eXtensible Access Control Markup Language (XACML). Our aim is...
Jeremy Bryans, John S. Fitzgerald
ICSE
2005
IEEE-ACM
16 years 25 days ago
A cross-program investigation of students' perceptions of agile methods
Research was conducted on using agile methods in software engineering education. This paper explores the perceptions of students from five different academic levels of agile pract...
Grigori Melnik, Frank Maurer
87
Voted
CSE
2009
IEEE
15 years 7 months ago
Ceremonies Formal Analysis in PKI's Context
—Ceremonies are a useful tool to establish trust in scenarios where protocols operate. They describe a greater range of issues not taken into account by protocol designers. We ta...
Jean Everson Martina, Túlio Cicero Salvaro ...
144
Voted
CATE
2004
248views Education» more  CATE 2004»
15 years 2 months ago
SIMSE: An Interactive Simulation Game for Software Engineering Education
The typical software engineering education lacks a practical experience of the process of software engineering-students are presented with relevant process theory in lectures, but...
Emily Oh Navarro, André van der Hoek
CBMS
2008
IEEE
15 years 7 months ago
Using the Grid for Enhancing the Performance of a Medical Image Search Engine
— In this paper we show how Grid computing can be used to improve the operation of a medical image search system. The paper introduces the basic principles of a content-based ima...
Mikko Juhani Pitkänen, Xin Zhou, Antti Eero J...