50 search results - page 9 / 10 » A Strategy for Improving Safety Related Software Engineering... |
FOSSACS
2007
Springer
13 years 11 months ago
2007
Springer
ATL is a temporal logic geared towards the specification and verification of properties in multi-agents systems. It allows to reason on the existence of strategies for coalitions...
SIGSOFT
2009
ACM
14 years 5 months ago
2009
ACM
In large software development projects, when a programmer is assigned a bug to fix, she typically spends a lot of time searching (in an ad-hoc manner) for instances from the past ...
CLEF
2007
Springer
13 years 11 months ago
2007
Springer
In our participation in this CLEF evaluation campaign, the first objective is to propose and evaluate various indexing and search strategies for the Czech language in order to hop...
EWSPT
1995
Springer
13 years 8 months ago
1995
Springer
The paper describes the different phases and subdomains of process modelling and their needs for conceptual and linguistic support, and in what forms. We group the relevant factor...
UIST
2006
ACM
13 years 11 months ago
2006
ACM
We present the design and implementation of a word-level stroking system called Fisch, which is intended to improve the speed of character-level unistrokes. Importantly, Fisch doe...