1036 search results - page 27 / 208 » Report on INEX 2009 |
CAV
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. BeepBeep is a lightweight runtime monitor for Ajax web applications. Interface specifications are expressed internally in an extension of LTL with first-order quantificat...
TLDI
2009
ACM
15 years 6 months ago
2009
ACM
Syntax Arthur Baars Doaitse Swierstra Technical Report UU-CS-2008-021 July 2008 Department of Information and Computing Sciences Utrecht University, Utrecht, The Netherlands www.cs...
AGILEDC
2009
IEEE
15 years 4 months ago
2009
IEEE
We report on our experiences from two commercial projects conducted under a new form of contract that supports agile development and encourages efficient collaboration between cus...
COMPSAC
2009
IEEE
15 years 4 months ago
2009
IEEE
This paper reports some experiences in providing service guarantees to real-time (RT) applications running in a Virtual Machine (VM), showing how proper scheduling is a necessary ...
CDVE
2009
Springer
15 years 4 months ago
2009
Springer
This paper reports on an exploratory pilot study that has been conducted to investigate which collaboration technologies are suitable (and which are not) to support collaborative w...