6660 search results - page 995 / 1332 » Highly-Available Application Integration |
158
click to vote
MODELS
2009
Springer
16 years 1 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
196
click to vote
PKDD
2009
Springer
16 years 1 months ago
2009
Springer
In this paper we propose a system to solve a language game, called Guillotine, which requires a player with a strong cultural and linguistic background knowledge. The player obser...
159
click to vote
SAFECOMP
2009
Springer
16 years 1 months ago
2009
Springer
A key concern in safety engineering is understanding the overall emergent failure behaviour of a system, i.e., behaviour exhibited by the system that is outside its specification ...
148
Voted
APLAS
2009
ACM
16 years 1 months ago
2009
ACM
When describing the resource usage of a program, it is usual to talk in asymptotic terms, such as the well-known “big O” notation, whereby we focus on the behaviour of the prog...
167
click to vote
GROUP
2009
ACM
16 years 1 months ago
2009
ACM
Recent technological advances foster the spreading of social software in the mobile domain. Hence, future usage patterns of mobile devices will involve more group interaction. Whi...