8446 search results - page 1158 / 1690 » A Process Compensation Language |
161
Voted
FM
2009
Springer
16 years 1 months ago
2009
Springer
We examine the the industrial application of formal methods using data gathered in a review of 62 projects taking place over the last 25 years. The review suggests that formal meth...
202
click to vote
KESAMSTA
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. Imitative learning can be considered an essential task of humans development. People use instructions and demonstrations provided by other human experts to acquire knowle...
186
click to vote
SFM
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. As systems become more service oriented and processes increasingly cross organizational boundaries, interaction becomes more important. New technologies support the devel...
187
click to vote
DMSN
2009
ACM
16 years 1 months ago
2009
ACM
Creating statistics from sporting events is now widespread with most efforts to automate this process using various sensor devices. The problem with many of these statistical app...
196
click to vote
JCDL
2009
ACM
16 years 1 months ago
2009
ACM
This paper reports on an adaption of the existing PopoutText and ClearText display techniques to mobile phones. It explains the design rationale for a freely available iPhone appl...