2673 search results - page 303 / 535 » Guided Static Analysis |
136
click to vote
FMICS
2008
Springer
15 years 7 months ago
2008
Springer
There has been relatively little work on the implementability of timing requirements. We have previously provided definitions of fundamental timing operators that explicitly consid...
155
Voted
LREC
2010
15 years 7 months ago
2010
Particular uses of PNs with sense extension are focussed on and inspected taking into account the presence of PNs in lexical semantic databases and electronic corpora. Methodology...
111
click to vote
HCI
2007
15 years 7 months ago
2007
This paper reports on five different models of command and control. Four different models are reviewed: a process model, a contextual control model, a decision ladder model and a ...
196
click to vote
AVI
2006
15 years 7 months ago
2006
Access to real environments is often conditioned by a number of issues, including the skills of the user (i.e. affected by aging, physical and psychological deficiencies, etc.) an...
141
click to vote
ECIS
2004
15 years 7 months ago
2004
The authors present the Context Engineering (CE) approach to Information Systems Development (ISD) as a framework to organise ideas about previous development experience and to gu...