7139 search results - page 148 / 1428 » Language Engineering in Practice |
145
click to vote
UM
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. This paper addresses the problem of capturing rich, longterm personal activity logs of users’ interactions with their workstations, for the purpose of deriving predicti...
186
click to vote
AIME
2005
Springer
15 years 12 months ago
2005
Springer
The UK National Health Service (NHS) is currently undergoing an intensive review into the way patient care is designed, delivered and recorded. One important element of this is the...
157
click to vote
HOTOS
2007
IEEE
15 years 10 months ago
2007
IEEE
In the paper we examine one of the issues in designing, specifying, implementing and formally verifying a small operating system kernel -- how to provide a productive and iterativ...
170
click to vote
ECMDAFA
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. In this paper we report on our experience on using the socalled model-driven security approach in an MDA industrial project. In model-driven security, "designers spe...
178
click to vote
XPU
2007
Springer
16 years 14 days ago
2007
Springer
Bringing software process change to an organisation is a real challenge. The authors have shown a sample attempt to carry out a process change and then reflected on its results and...