5683 search results - page 867 / 1137 » Interactive Schedulability Analysis |
185
click to vote
CDVE
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. "Web 2.0" is a term frequently mentioned in media - apparently, applications such as Wikipedia, Social Network Services, Online Shops with integrated recommende...
189
click to vote
COORDINATION
2008
Springer
15 years 8 months ago
2008
Springer
Abstract. Coordination languages are often used to describe open ended systems. This makes it challenging to develop tools for guaranteeing security of the coordinated systems and ...
135
click to vote
BCSHCI
2007
15 years 8 months ago
2007
Emotional appeal is a key dimension in user experience that often goes unmeasured in most user-centered design projects. This paper presents preliminary work for developing a set ...
201
Voted
DICTA
2008
15 years 8 months ago
2008
The analysis of fish movement as an indicator of fish behaviour plays an important role in aquaculture research. Currently observations are carried out manually using video record...
187
click to vote
FMOODS
2007
15 years 8 months ago
2007
In this paper we present a formalization of Abadi’s and Cardelli’s theory of objects in the interactive theorem prover Isabelle/HOL. Our motivation is to build a mechanized HOL...