1587 search results - page 288 / 318 » Software Engineering Programmes are not Computer Science Pro... |
129
click to vote
SIGSOFT
2003
ACM
15 years 6 months ago
2003
ACM
Most applications developed today rely on a given middleware platform which governs the interaction between components, the access to resources, etc. To decide, which platform is ...
126
Voted
WOSP
2010
ACM
15 years 7 months ago
2010
ACM
In this paper we develop, implement and evaluate an approach to quickly reassign resources for a virtualized utility computing platform. The approach provides this platform agilit...
119
Voted
FSTTCS
2008
Springer
15 years 1 months ago
2008
Springer
We survey determinacy, definability, and complexity issues of Banach-Mazur games on finite and infinite graphs. Infinite games where two players take turns to move a token thro...
121
click to vote
ICFP
1999
ACM
15 years 5 months ago
1999
ACM
The MrEd virtual machine serves both as the implementation platform for the DrScheme programming environment, and as the underlying Scheme engine for executing expressions and pro...
101
Voted
FSTTCS
2009
Springer
15 years 7 months ago
2009
Springer
Linear temporal logic was introduced in order to reason about reactive systems. It is often considered with respect to infinite words, to specify the behaviour of long-running sys...